Date | Speaker(s) | Title |

13 Jan 2009 | Philipp Gerhardy, University of Oslo | Proof mining in topological dynamics |

20 Jan 2009 | Alexander Shen, LIF (Marseille) and IITP (Moscow) | Self-referential constructions, fixed-point theorems, and aperiodic tilings |

27 Jan 2009 | Noopur Pathak, Pennsylvania State University | A computational aspect of the Lebesgue differentiation theorem |

3 Feb 2009 | Stephen G. Simpson, Pennsylvania State University | Mass problems, part 1 |

10 Feb 2009 | Stephen G. Simpson, Pennsylvania State University | Mass problems, part 2 |

17 Feb 2009 | Stephen G. Simpson, Pennsylvania State University | Mass problems, part 3 |

24 Feb 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 1 |

3 Mar 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 2 |

17 Mar 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 3 |

24 Mar 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 4 |

31 Mar 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems. part 5 |

7 Apr 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 6 |

14 Apr 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 7 |

21 Apr 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 8 |

28 Apr 2009 | John Clemens, Pennsylvania State University | Introduction to Borel equivalence relations and classification problems, part 9 |

5 May 2009 | | *To Be Announced* |

12 May 2009 | | *To Be Announced* |

19 May 2009 | | *To Be Announced* |

26 May 2009 | | *To Be Announced* |

2 Jun 2009 | | *To Be Announced* |

9 Jun 2009 | | *To Be Announced* |

16 Jun 2009 | | *To Be Announced* |

23 Jun 2009 | | *To Be Announced* |

30 Jun 2009 | | *To Be Announced* |

7 Jul 2009 | | *To Be Announced* |

10 Jul 2009 MB106 10:10am - 12:05pm | Stephen Binns, King Fahd University, Saudi Arabia | A generalisation of the Kucera-Gacs Theorem |

14 Jul 2009 | | *To Be Announced* |

21 Jul 2009 | | *To Be Announced* |

28 Jul 2009 | | *To Be Announced* |

4 Aug 2009 | | *To Be Announced* |

11 Aug 2009 | | *To Be Announced* |

18 Aug 2009 | | *To Be Announced* |

25 Aug 2009 | Stephen G. Simpson, Pennsylvania State University | Foundations of Mathematics |

1 Sep 2009 | Keita Yokoyama, Tohoku University, Japan | Reverse mathematics for analysis |

8 Sep 2009 | Stephen G. Simpson, Pennsylvania State University | Measure-theoretic regularity: logical aspects. |

15 Sep 2009 | Stephen G. Simpson, Pennsylvania State University | Degrees of unsolvability and the Borel hierarchy |

22 Sep 2009 | Stephen G. Simpson, Pennsylvania State University | LR-reducibility, LK-reducibility, and measure-theoretic regularity |

29 Sep 2009 | Carl Mummert, Marshall University, West Virginia | Stationary and convergent strategies in Choquet games |

6 Oct 2009 | John Clemens, Pennsylvania State University | Automatic groups |

7 Oct 2009 MB114 3:30pm - 5:00pm | Bakh Khoussainov, Cornell University and University of Auckland | Automatic structures |

13 Oct 2009 | Stephen G. Simpson, Pennsylvania State University | LR-reducibility and LK-reducibility |

27 Oct 2009 | Stephen G. Simpson, Pennsylvania State University | Measure-theoretic regularity and LR-reducibility |

3 Nov 2009 | Takako Nemoto, JAIST, Japan | Determinacy of Wadge classes and subsystems of second-order arithmetic |

10 Nov 2009 | Stephen G. Simpson, Pennsylvania State University | LR-reducibility and the Turing jump operator |

17 Nov 2009 | Kostas Hatzikiriakou, University of Thessaly, Greece | WKL_0 and the Hahn-Banach Theorem in countable vector spaces over countable ordered fields |

1 Dec 2009 | Stephen G. Simpson, Pennsylvania State University | Mass problems and measure-theoretic regularity |

8 Dec 2009 | several graduate students, Pennsylvania State University | Short presentations |