# Logic Seminar

The Penn State Logic Seminar traditionally and normally meets on Tuesdays, 2:30 to 3:45 PM. Our usual meeting place is 315 McAllister. For more precise information, please check the calendar below.

Date | Room | Speaker(s) | Title |
---|---|---|---|

27 Aug 2019 2:30pm - 4:00pm | 315 McAllister | Organizational Meeting | |

03 Sep 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Introduction to well-quasi-orderings |

10 Sep 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |

24 Sep 2019 2:30pm - 4:00pm | 315 McAllister | Caleb Springer | On the undecidability of infinite extensions of the rationals |

01 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Russell Miller | Uniform Computable Categoricity for Fields |

08 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Caitlin Lienkaemper | Fixed parameter tractability via Robertson-Seymour |

15 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Introduction to better-quasi-orderings |

22 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Jan Reimann | The Robertson-Seymour graph minor theorem |

29 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Mingyang Li | On the maximal linear extension principle for wqo's |

05 Nov 2019 2:30pm - 4:00pm | 315 McAllister | Nathanael Ackerman | Computable representations of exchangeable graphs |

12 Nov 2019 2:30pm - 4:00pm | 315 McAllister | Henry Towsner | Nonstandard analysis and new standard proof of the containers theorem |

19 Nov 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |

26 Nov 2019 2:30pm - 4:00pm | 315 McAllister | THANKSGIVING BREAK - NO SEMINAR | |

03 Dec 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Fraisse's conjecture in Pi11 comprehension |

10 Dec 2019 2:30pm - 4:00pm | 315 McAllister | Jan Reimann | Embedding an analytic equivalence relation in the transitive closure of a Borel relation |