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

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 |

Thursday, March 08, 2018 Start: 4:00 PM
Location: 3088 East Hall |
**Dana Bartosova**
*Carnegie Mellon University* | Logic | Ellis' problem for automorphism groups |

Thursday, March 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, II |

Thursday, April 05, 2018 Start: 4:00 PM
Location: 3088 East Hall |
**Andreas Blass**
*University of Michigan* | Logic | Well-Ordered Choice |

Thursday, April 12, 2018 Start: 4:00 PM
Location: 3088 East Hall |
**Osvaldo Guzman Gonzalez**
*York University* | Logic | On weakly universal functions |

Thursday, April 19, 2018 Start: 4:00 PM
Location: 3088 East Hall |
**Alexei Kolesnikov**
*Towson University* | Logic | Homology groups in model theory. |

Thursday, May 03, 2018 Start: 4:00 PM
Location: 4096 East Hall * |
**Andreas Blass**
*University of Michigan* | Logic | Well-ordered choice implies dependent choice |

Thursday, May 17, 2018 Start: 4:00 PM
Location: 4096 East Hall * |
**Harry Altman**
*University of Michigan* | Logic | Well partial orderings and their maximum extending ordinals |

Thursday, May 24, 2018 Start: 4:00 PM
Location: 4096 East Hall * |
**Harry Altman**
*University of Michigan* | Logic | Lower sets in products of well-ordered sets and related WPOs |

Thursday, June 14, 2018 Start: 4:00 PM
Location: 4096 East Hall * |
**Joshua, Mengyang, David; Brot, Cao, Fernandez-Breton, respectively**
*University of Michigan* | Logic | Finiteness classes arising from Ramsey-theoretic statements in set theory without choice |