PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar (2014 Archive)

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.
14 Jan 2014Jan Reimann, Penn StateOrganizational Session
21 Jan 2014Jason Rute, Penn StateApplications of computable conditional probability to randomness
28 Jan 2014Adrian Maler, Penn StateAlgorithmic Randomness and Stochastic Processes II
4 Feb 2014Quinn Culver, Notre Dame UniversityAlgorithmically random probability measures
11 Feb 2014Jason Rute, Penn StateOn the computability of rates of metastable convergence
25 Feb 2014Jan Reimann, Penn StateInvariant measures on homogeneous structures
4 Mar 2014Stephen G. Simpson, Pennsylvania State UniversityReverse mathematics, Young diagrams, and the ACC
18 Mar 2014John Pardo, Pennsylvania State UniversityRamsey-like Theorems and their Reverse Mathematical Properties
26 Mar 2014

4:00pm - 5:00pm
Kelty Allen, UC BerkeleyMartin-Löf random Brownian motion
1 Apr 2014Stephen G. Simpson, Pennsylvania State UniversityDegrees of unsolvability: a survey.
8 Apr 2014Jan Reimann, Penn StateInvariant measures on Triangle-free graphs
15 Apr 2014Jan Reimann, Penn StateInvariant measures on Triangle-free graphs (II)
18 Apr 2014

2:30pm - 3:45pm
Henry Towsner, University of PennsylvaniaAn Analytic Approach to Quasirandom (Hyper)graphs
22 Apr 2014Sankha Basu, Penn StateIntroduction to Kleene's realizability interpretation of intuitionistic number theory
29 Apr 2014Mushfeq Khan, University of Wisconsin - MadisonLebesgue density and \Pi^0_1 classes
26 Aug 2014 Organizational Meeting
2 Sep 2014Stephen G. Simpson, Penn StateAn introduction to reverse mathematics
9 Sep 2014Jason Rute, Penn StateRandomness, Riesz Capacity, Brownian Motion, and Complexity
16 Sep 2014Adrian Maler, Penn StateTowards an Effective Theory of Levy Processes
23 Sep 2014Jake Pardo, Penn StateProving RT_2^2 doesn't imply WKL_0
30 Sep 2014Jan Reimann, Penn StateAn Overview of Model Theory
7 Oct 2014Sankha Basu, Penn StateThe Muchnik topos
14 Oct 2014Manfred Denker, Penn StateHausdorff dimension
21 Oct 2014Jeremy Avigad, Carnegie Mellon UniversityUniform distribution and algorithmic randomness
28 Oct 2014Jan Reimann, Penn StateContinuous Model Theory
4 Nov 2014Jake Pardo, Penn StateThe compactness theorem for continuous model theory
11 Nov 2014Jake Pardo, Penn StateThe compactness theorem for continuous model theory (II)
18 Nov 2014Jason Rute, PSUConnectives and Constructions in Model Theory for Metric Structures
2 Dec 2014Willem Fouché, University of South AfricaGelfand duality and Ramsey theory
3 Dec 2014
3:35pm - 4:25pm
Willem Fouché, University of South AfricaFourier properties of algorithmically random Brownian motion
9 Dec 2014 To Be Announced
16 Dec 2014 To Be Announced
Archives 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007

The slides for Simpson's Fall 2007 series of talks on mass problems are available.

See also the Penn State Logic Seminar Archive covering the years 1998 - 2006.