# Logic Seminar (2012)

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

10 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |

17 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Forcing in Arithmetic |

24 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Cohen forcing and Sacks forcing in Recursion Theory |

31 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | On the reverse mathematics of Peano categoricity |

07 Feb 2012 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Slaman-Woodin Coding (I) |

14 Feb 2012 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Slaman-Woodin Coding (II) |

21 Feb 2012 2:30pm - 3:45pm | 315 McAllister | William Calhoun | Degree of Randomness versus Turing degree |

28 Feb 2012 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Borel Determinacy |

13 Mar 2012 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Borel Determinacy (II) |

20 Mar 2012 2:30pm - 3:45pm | 315 McAllister | Russell Miller | Degrees of Categoricity of Algebraic Fields |

27 Mar 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Applications of Slaman-Woodin coding |

03 Apr 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Martin's Conjecture |

10 Apr 2012 2:30pm - 3:45pm | 315 McAllister | John Pardo | Uniformly Degree-invariant Functions |

17 Apr 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Martin's Conjecture and Borel Equivalence Relations |

24 Apr 2012 2:30pm - 3:45pm | 315 McAllister | Daisuke Ikegami | Regularity properties and forcing absoluteness |

01 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

08 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

15 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

22 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

29 May 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Compressibility and arithmetic. |

05 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Kojiro Higuchi | The Muchnik degrees of nonempty Pi01 sets. |

11 Jun 2012 10:00am - 11:15am | 106 McAllister | Chi-Tat Chong | The strength of Ramsey's Theorem for Pairs |

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

19 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Propagation of partial randomness. |

26 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Algorithmic randomness - a view from ergodic theory |

03 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

10 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Randomness for non-uniform distributions, joinings, and independence |

17 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Randomness for purely atomic and diminutive measures |

24 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Randomness for purely atomic and diminutive measures (II) |

31 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | A survey of basis theorems. |

07 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | On the strength of Ramsey's Theorem without Sigma_1 induction |

14 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

21 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |

28 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |

04 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | A survey of partial randomness. |

11 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Stephen Flood | Paths, trees, and the computational strength of Ramsey type theorems |

18 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Descriptive Complexity of Brownian Motion |

25 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | The reverse mathematics of Peano categoricity |

02 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Old and new perspectives on K-trivials |

09 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Andrew Marks | Borel combinatorics, recursion theory, and countable Borel equivalance relations |

16 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | The structure of non-atomic randomness |

23 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Turing equivalence as a Borel equivalence relation |

30 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | A model of intuitionism based on Turing degrees |

02 Nov 2012 4:35pm - 5:45pm | 315 McAllister | Alice Medvedev | Unions of chains of signatures |

06 Nov 2012 2:30pm - 3:45pm | 315 McAllister | Daisuke Ikegami | Gale-Stewart games and Blackwell games |

13 Nov 2012 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Computable randomness and martingales a la probability theory |

20 Nov 2012 2:30pm - 3:45pm | 315 McAllister | No Seminar, Thanksgiving Break | |

27 Nov 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Explicit and implicit definability over the integers, part 1 |

04 Dec 2012 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Results in Measure Theoretic Regularity |

11 Dec 2012 2:30pm - 3:45pm | 315 McAllister | no speaker | canceled |