# Logic Seminar (2019)

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 |
---|---|---|---|

08 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |

15 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |

22 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Organizational Meeting | |

29 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Degrees of unsolvability of continuous functions |

05 Feb 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Introduction to the Weihrauch lattice |

12 Feb 2019 2:30pm - 4:00pm | 315 McAllister | [cancelled-snow] | |

19 Feb 2019 2:30pm - 4:00pm | 315 McAllister | Mingyang Li | Randomness over computable metric space |

26 Feb 2019 2:30pm - 4:00pm | 315 McAllister | Mingyang Li | Randomness over computable metric space |

05 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Spring break - no seminar | |

12 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Arno Pauly | Finding points from positive information |

19 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Jun Le Goh | A theorem of Halin and hyperarithmetic analysis |

26 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Ed Green | Sequences, limits, and differentiation in computable analysis |

02 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Caitlin Lienkaemper | Yes, the "missing axiom" of matroid theory is lost forever |

09 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Ed Green | Sequences, limits, and differentiation in computable analysis |

16 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |

23 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |

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 |