# Logic Seminar (2015)

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

06 Jan 2015 2:30pm - 3:45pm | 315 McAllister | Untitled | |

13 Jan 2015 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |

20 Jan 2015 2:30pm - 3:45pm | 315 McAllister | David Belanger | Separation and reduction in second-order arithmetic |

27 Jan 2015 2:30pm - 3:45pm | 315 McAllister | Kirsten EisentrÃ¤ger | Hilbert's Tenth Problem for subrings of the rationals and number fields. |

03 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Jason Rute | The power of uniformity in algorithmic randomness |

10 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Christopher P. Porter | Initial segment complexity and randomness for computable measures |

17 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Effective Theory of Levy Processes |

24 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability: some recent results |

03 Mar 2015 2:30pm - 3:45pm | 315 McAllister | John Pardo | Kolmogorov Random Graphs |

10 Mar 2015 2:30pm - 3:45pm | 315 McAllister | NO SEMINAR, SPRING BREAK | |

17 Mar 2015 2:30pm - 3:45pm | 315 McAllister | Clinton Conley | Strong treeability of planar groups |

24 Mar 2015 2:30pm - 3:45pm | 315 McAllister | Steven Pincus | Precisely Constructed Taxa and Higher Order Dangers in Models of Randomness |

31 Mar 2015 2:30pm - 3:45pm | 315 McAllister | No Seminar this week | No Seminar this week |

17 Apr 2015 3:35pm - 4:35pm | 106 McAllister | Johanna Franklin | Randomness and Birkhoff's ergodic theorem for measure-preserving transformations |

21 Apr 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Aspects of the Muchnik lattice |

28 Apr 2015 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Quasi-random Graphs |

05 May 2015 2:30pm - 3:45pm | 315 McAllister | Untitled | |

12 May 2015 2:30pm - 3:45pm | 315 McAllister | Untitled | |

15 Jul 2015 3:30pm - 5:30pm | 106 McAllister | Keita Yokoyama | Informal seminar talk |

25 Aug 2015 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |

01 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability. Part 1: introduction |

08 Sep 2015 2:30pm - 3:45pm | 315 McAllister | No seminar this week | |

15 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability. Part 2: examples |

22 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | An Introduction to Fine Structure Theory |

29 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Gambling against some Odds |

06 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Gambling Against Some Other Odds |

13 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability. Part 3: Muchnik degrees of effectively closed sets |

20 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | An Introduction to Fine Structure Theory, part II |

27 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Algorithmic randomness and constructive/computable mathematics |

03 Nov 2015 2:30pm - 3:45pm | 315 McAllister | Jason Rute | When does randomness come from somewhere? |

10 Nov 2015 2:30pm - 3:45pm | 315 McAllister | Mingyang Li | Diophantine Approximation and Hausdorff Dimension |

17 Nov 2015 2:30pm - 3:45pm | 315 McAllister | Mingyang Li | Khinchin's Theorems on Metric Diophantine Approximation |

24 Nov 2015 2:30pm - 3:45pm | 315 McAllister | No Seminar This Week | |

01 Dec 2015 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Hausdorff Dimension, Irrationality Exponents and Their Effectivization |

08 Dec 2015 2:30pm - 3:45pm | 315 McAllister | William C. Calhoun | Triviality and lowness for K-reducibility and related reducibilities |

15 Dec 2015 2:30pm - 3:45pm | 315 McAllister | No Seminar This Week |