# Logic Seminar (2009)

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

13 Jan 2009 2:30pm - 3:45pm | 315 McAllister | Philipp Gerhardy | Proof mining in topological dynamics |

20 Jan 2009 2:30pm - 3:45pm | 315 McAllister | Alexander Shen | Self-referential constructions, fixed-point theorems, and aperiodic tilings |

27 Jan 2009 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | A computational aspect of the Lebesgue differentiation theorem |

03 Feb 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Mass problems, part 1 |

10 Feb 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Mass problems, part 2 |

17 Feb 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Mass problems, part 3 |

24 Feb 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 1 |

03 Mar 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 2 |

17 Mar 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 3 |

24 Mar 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 4 |

31 Mar 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems. part 5 |

07 Apr 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 6 |

14 Apr 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 7 |

21 Apr 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 8 |

28 Apr 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Introduction to Borel equivalence relations and classification problems, part 9 |

05 May 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

12 May 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

19 May 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

26 May 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

02 Jun 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

09 Jun 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

16 Jun 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

23 Jun 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

30 Jun 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

07 Jul 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

10 Jul 2009 10:10am - 12:05pm | 106 McAllister | Stephen Binns | A generalisation of the Kucera-Gacs Theorem |

14 Jul 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

21 Jul 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

28 Jul 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

04 Aug 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

11 Aug 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

18 Aug 2009 2:30pm - 3:45pm | 315 McAllister | Untitled | |

25 Aug 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Foundations of Mathematics |

01 Sep 2009 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Reverse mathematics for analysis |

08 Sep 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Measure-theoretic regularity: logical aspects. |

15 Sep 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability and the Borel hierarchy |

22 Sep 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | LR-reducibility, LK-reducibility, and measure-theoretic regularity |

29 Sep 2009 2:30pm - 3:45pm | 315 McAllister | Carl Mummert | Stationary and convergent strategies in Choquet games |

06 Oct 2009 2:30pm - 3:45pm | 315 McAllister | John Clemens | Automatic groups |

07 Oct 2009 3:30pm - 5:00pm | 114 McAllister | Bakh Khoussainov | Automatic structures |

13 Oct 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | LR-reducibility and LK-reducibility |

27 Oct 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Measure-theoretic regularity and LR-reducibility |

03 Nov 2009 2:30pm - 3:45pm | 315 McAllister | Takako Nemoto | Determinacy of Wadge classes and subsystems of second-order arithmetic |

10 Nov 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | LR-reducibility and the Turing jump operator |

17 Nov 2009 2:30pm - 3:45pm | 315 McAllister | Kostas Hatzikiriakou | WKL_0 and the Hahn-Banach Theorem in countable vector spaces over countable ordered fields |

01 Dec 2009 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Mass problems and measure-theoretic regularity |

08 Dec 2009 2:30pm - 3:45pm | 315 McAllister | several graduate students | Short presentations |