Date | Speaker(s) | Title |

14 Jan 2014 | Jan Reimann, Penn State | Organizational Session |

21 Jan 2014 | Jason Rute, Penn State | Applications of computable conditional probability to randomness |

28 Jan 2014 | Adrian Maler, Penn State | Algorithmic Randomness and Stochastic Processes II |

4 Feb 2014 | Quinn Culver, Notre Dame University | Algorithmically random probability measures |

11 Feb 2014 | Jason Rute, Penn State | On the computability of rates of metastable convergence |

18 Feb 2014 | NO SEMINAR THIS WEEK | NO SEMINAR THIS WEEK |

25 Feb 2014 | Jan Reimann, Penn State | Invariant measures on homogeneous structures |

4 Mar 2014 | Stephen G. Simpson, Pennsylvania State University | Reverse mathematics, Young diagrams, and the ACC |

18 Mar 2014 | John Pardo, Pennsylvania State University | Ramsey-like Theorems and their Reverse Mathematical Properties |

26 Mar 2014 MB106 4:00pm - 5:00pm | Kelty Allen, UC Berkeley | Martin-Löf random Brownian motion |

1 Apr 2014 | Stephen G. Simpson, Pennsylvania State University | Degrees of unsolvability: a survey. |

8 Apr 2014 | Jan Reimann, Penn State | Invariant measures on Triangle-free graphs |

15 Apr 2014 | Jan Reimann, Penn State | Invariant measures on Triangle-free graphs (II) |

18 Apr 2014 MB216 2:30pm - 3:45pm | Henry Towsner, University of Pennsylvania | An Analytic Approach to Quasirandom (Hyper)graphs |

22 Apr 2014 | Sankha Basu, Penn State | Introduction to Kleene's realizability interpretation of intuitionistic number theory |

29 Apr 2014 | Mushfeq Khan, University of Wisconsin - Madison | Lebesgue density and \Pi^0_1 classes |

26 Aug 2014 | | Organizational Meeting |

2 Sep 2014 | Stephen G. Simpson, Penn State | An introduction to reverse mathematics |

9 Sep 2014 | Jason Rute, Penn State | Randomness, Riesz Capacity, Brownian Motion, and Complexity |

16 Sep 2014 | Adrian Maler, Penn State | Towards an Effective Theory of Levy Processes |

23 Sep 2014 | Jake Pardo, Penn State | Proving RT_2^2 doesn't imply WKL_0 |

30 Sep 2014 | Jan Reimann, Penn State | An Overview of Model Theory |

7 Oct 2014 | Sankha Basu, Penn State | The Muchnik topos |

14 Oct 2014 | Manfred Denker, Penn State | Hausdorff dimension |

21 Oct 2014 | Jeremy Avigad, Carnegie Mellon University | Uniform distribution and algorithmic randomness |

28 Oct 2014 | Jan Reimann, Penn State | Continuous Model Theory |

4 Nov 2014 | Jake Pardo, Penn State | The compactness theorem for continuous model theory |

11 Nov 2014 | Jake Pardo, Penn State | The compactness theorem for continuous model theory (II) |

18 Nov 2014 | Jason Rute, PSU | Connectives and Constructions in Model Theory for Metric Structures |

2 Dec 2014 | Willem Fouché, University of South Africa | Gelfand duality and Ramsey theory |

3 Dec 2014 3:35pm - 4:25pm | Willem Fouché, University of South Africa | Fourier properties of algorithmically random Brownian motion |

9 Dec 2014 | | *To Be Announced* |

16 Dec 2014 | | *To Be Announced* |