*Date* |
*Speaker* | *Seminar* | *Title* |

Thursday, September 21, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**Simon Cho**
*University of Michigan* | Logic | A Category Theoretic Perspective on Continuous Logic |

Thursday, September 28, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**Simon Cho**
*University of Michigan* | Logic | A Category Theoretic Perspective on Continuous Logic, II |

Thursday, October 05, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**Abhijit Dasgupta**
*University of Detroit Mercy* | Logic | Axioms for complete elementary extensions |

Thursday, October 12, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**David Fernandez-Breton**
*University of Michigan* | Logic | Higher degree versions of the Central Sets Theorem |

Thursday, October 26, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**David Fernandez-Breton**
*University of Michigan* | Logic | Higher degree versions of the Central Sets Theorem, II |

Thursday, November 02, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**Danny Nguyen**
*UCLA* | Logic | Presburger Arithmetic and its computational complexity |

Thursday, November 09, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**Andres Caicedo**
*Math Reviews* | Logic | Real-valued measurability and the extent of Lebesgue measure |

Thursday, November 30, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**Andres Caicedo**
*Math Reviews* | Logic | Real-valued measurability and the extent of Lebesgue measure (II) |

Thursday, December 07, 2017 Start: 4:00 PM
Location: 3096 East Hall * |
**David Fernandez-Breton**
*University of Michigan* | Logic | More Ramsey-theoretic statements: uncountably many colours, finite monochromatic sets |

Thursday, February 15, 2018 Start: 4:00 PM
Location: 3088 East Hall |
**David Fernandez-Breton**
*University of Michigan* | Logic | Models of set theory with union ultrafilters and small covering of meagre |

Thursday, February 22, 2018 Start: 4:00 PM
Location: 3088 East Hall |
**Chris Kapulkin**
*University of Western Ontario* | Logic | Homotopy Type Theory and internal languages of higher categories |