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 |
|---|
| 3 Jan 2012 | | To Be Announced |
|---|
| 10 Jan 2012 | | Organizational Meeting |
|---|
| 17 Jan 2012 | Phil Hudelson, Pennsylvania State University | Forcing in Arithmetic |
|---|
| 24 Jan 2012 | Noopur Pathak, Pennsylvania State University | Cohen forcing and Sacks forcing in Recursion Theory |
|---|
| 31 Jan 2012 | Keita Yokoyama, Pennsylvania State University and Tokyo Institute of Technology | On the reverse mathematics of Peano categoricity |
|---|
| 7 Feb 2012 | Adrian Maler, Pennsylvania State University | Slaman-Woodin Coding (I) |
|---|
| 14 Feb 2012 | Adrian Maler, Pennsylvania State University | Slaman-Woodin Coding (II) |
|---|
| 21 Feb 2012 | William Calhoun, Bloomsburg University | Degree of Randomness versus Turing degree |
|---|
| 28 Feb 2012 | Sankha Basu, Pennsylvania State University | Borel Determinacy |
|---|
| 13 Mar 2012 | Sankha Basu, Pennsylvania State University | Borel Determinacy (II) |
|---|
| 20 Mar 2012 | Russell Miller, City University of New York | Degrees of Categoricity of Algebraic Fields |
|---|
| 27 Mar 2012 | Keita Yokoyama, Tokyo Institute of Technology and Pennsylvania State University | Applications of Slaman-Woodin coding |
|---|
| 3 Apr 2012 | Phil Hudelson, Pennsylvania State University | Martin's Conjecture |
|---|
| 10 Apr 2012 | John Pardo, Pennsylvania State University | Uniformly Degree-invariant Functions |
|---|
| 17 Apr 2012 | Jan Reimann, Pennsylvania State University | Martin's Conjecture and Borel Equivalence Relations |
|---|
| 24 Apr 2012 | Daisuke Ikegami, University of California, Berkeley | Regularity properties and forcing absoluteness |
|---|
| 1 May 2012 | | To Be Announced |
|---|
| 8 May 2012 | | To Be Announced |
|---|
| 15 May 2012 | | To Be Announced |
|---|
| 22 May 2012 | | To Be Announced |
|---|
| 29 May 2012 | Keita Yokoyama, Tokyo Institute of Technology | Compressibility and arithmetic. |
|---|
| 5 Jun 2012 | Kojiro Higuchi, Tohoku University | The Muchnik degrees of nonempty Pi01 sets. |
|---|
11 Jun 2012
MB106
10:00am - 11:15am | Chi-Tat Chong, National University of Singapore | The strength of Ramsey's Theorem for Pairs |
|---|
| 12 Jun 2012 | | To Be Announced |
|---|
| 19 Jun 2012 | Stephen G. Simpson, Pennsylvania State University | Propagation of partial randomness. |
|---|
| 26 Jun 2012 | Jan Reimann, Pennsylvania State University | Algorithmic randomness - a view from ergodic theory |
|---|
| 3 Jul 2012 | | To Be Announced |
|---|
| 10 Jul 2012 | Jan Reimann, Pennsylvania State University | Randomness for non-uniform distributions, joinings, and independence |
|---|
| 17 Jul 2012 | Noopur Pathak, Pennsylvania State University | Randomness for purely atomic and diminutive measures |
|---|
| 24 Jul 2012 | Phil Hudelson, Pennsylvania State University | Randomness for purely atomic and diminutive measures (II) |
|---|
| 31 Jul 2012 | Stephen G. Simpson, Pennsylvania State University | A survey of basis theorems. |
|---|
| 7 Aug 2012 | Keita Yokoyama, Tokyo Institute of Technology | On the strength of Ramsey's Theorem without Sigma_1 induction |
|---|
| 14 Aug 2012 | | To Be Announced |
|---|
| 21 Aug 2012 | | To Be Announced |
|---|
| 28 Aug 2012 | | Organizational Meeting |
|---|
| 4 Sep 2012 | Stephen G. Simpson, Pennsylvania State University | A survey of partial randomness. |
|---|
| 11 Sep 2012 | Stephen Flood, Pennsylvania State University | Paths, trees, and the computational strength of Ramsey type theorems |
|---|
| 18 Sep 2012 | Adrian Maler, Pennsylvania State University | Descriptive Complexity of Brownian Motion |
|---|
| 25 Sep 2012 | Stephen G. Simpson, Pennsylvania State University | The reverse mathematics of Peano categoricity |
|---|
| 2 Oct 2012 | Phil Hudelson, Pennsylvania State University | Old and new perspectives on K-trivials |
|---|
| 9 Oct 2012 | Andrew Marks, California Institute of Technology | Borel combinatorics, recursion theory, and countable Borel equivalance relations |
|---|
| 16 Oct 2012 | Jan Reimann, Pennsylvania State University | The structure of non-atomic randomness |
|---|
| 23 Oct 2012 | Jake Pardo, Pennsylvania State University | Turing equivalence as a Borel equivalence relation |
|---|
| 30 Oct 2012 | Sankha Basu, Pennsylvania State University | A model of intuitionism based on Turing degrees |
|---|
2 Nov 2012
4:35pm - 5:45pm | Alice Medvedev, University of California, Berkeley | Unions of chains of signatures |
|---|
| 6 Nov 2012 | Daisuke Ikegami, University of California, Berkeley | Gale-Stewart games and Blackwell games |
|---|
| 13 Nov 2012 | Jason Rute, Carniegie Mellon University | Computable randomness and martingales a la probability theory |
|---|
| 20 Nov 2012 | | No Seminar, Thanksgiving Break |
|---|
| 27 Nov 2012 | Stephen G. Simpson, Pennsylvania State University | Explicit and implicit definability over the integers, part 1 |
|---|
| 4 Dec 2012 | Noopur Pathak, Pennsylvania State University | Results in Measure Theoretic Regularity |
|---|
| 11 Dec 2012 | no speaker | canceled |
|---|
