# Logic Seminar (2014)

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

14 Jan 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Organizational Session |

21 Jan 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Applications of computable conditional probability to randomness |

28 Jan 2014 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Algorithmic Randomness and Stochastic Processes II |

04 Feb 2014 2:30pm - 3:45pm | 315 McAllister | Quinn Culver | Algorithmically random probability measures |

11 Feb 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | On the computability of rates of metastable convergence |

18 Feb 2014 2:30pm - 3:45pm | 315 McAllister | NO SEMINAR THIS WEEK | NO SEMINAR THIS WEEK |

25 Feb 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Invariant measures on homogeneous structures |

04 Mar 2014 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Reverse mathematics, Young diagrams, and the ACC |

18 Mar 2014 2:30pm - 3:45pm | 315 McAllister | John Pardo | Ramsey-like Theorems and their Reverse Mathematical Properties |

26 Mar 2014 4:00pm - 5:00pm | 106 McAllister | Kelty Allen | Martin-LÃ¶f random Brownian motion |

01 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability: a survey. |

08 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Invariant measures on Triangle-free graphs |

15 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Invariant measures on Triangle-free graphs (II) |

18 Apr 2014 2:30pm - 3:45pm | 216 McAllister | Henry Towsner | An Analytic Approach to Quasirandom (Hyper)graphs |

22 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Introduction to Kleene's realizability interpretation of intuitionistic number theory |

29 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Mushfeq Khan | Lebesgue density and \Pi^0_1 classes |

26 Aug 2014 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |

02 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | An introduction to reverse mathematics |

09 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Randomness, Riesz Capacity, Brownian Motion, and Complexity |

16 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Towards an Effective Theory of Levy Processes |

23 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Proving RT_2^2 doesn't imply WKL_0 |

30 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | An Overview of Model Theory |

07 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | The Muchnik topos |

14 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Manfred Denker | Hausdorff dimension |

21 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Jeremy Avigad | Uniform distribution and algorithmic randomness |

28 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Continuous Model Theory |

04 Nov 2014 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | The compactness theorem for continuous model theory |

11 Nov 2014 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | The compactness theorem for continuous model theory (II) |

18 Nov 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Connectives and Constructions in Model Theory for Metric Structures |

02 Dec 2014 2:30pm - 3:45pm | 315 McAllister | Willem FouchÃ© | Gelfand duality and Ramsey theory |

03 Dec 2014 3:35pm - 4:25pm | 315 McAllister | Willem FouchÃ© | Fourier properties of algorithmically random Brownian motion |

09 Dec 2014 2:30pm - 3:45pm | 315 McAllister | Untitled | |

16 Dec 2014 2:30pm - 3:45pm | 315 McAllister | Untitled |