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