Date | Speaker(s) | Title |

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 |