PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar (2013 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.
DateSpeaker(s)Title
8 Jan 2013Stephen G. Simpson, Pennsylvania State UniversityImplicit definability in arithmetic, part 1.
15 Jan 2013Stephen G. Simpson, Pennsylvania State UniversityImplicit definability in arithmetic, part 2.
22 Jan 2013Adrian Maler, Pennsylvania State UniversityRandom continuous functions.
29 Jan 2013Phil Hudelson, Pennsylvania State UniversityPartial randomness and strong separations, part 1.
5 Feb 2013Phil Hudelson, Pennsylvania State UniversityPartial randomness and strong separations, part 2.
12 Feb 2013Phil Hudelson, Pennsylvania State UniversityPartial randomness and strong separations, part 3.
26 Feb 2013Keng Meng (Selwyn) Ng, Nanyang Technological University, SingaporeOn arithmetical equivalence relations.
12 Mar 2013Keita Yokoyama, Tokyo Institute of TechnologyPi^1_1-conservative extensions of subsystems of second-order arithmetic.
19 Mar 2013Jan Reimann, Pennsylvania State UniversityDegree-invariant functions and uniform Borel reductions
26 Mar 2013Tin Lok (Lawrence) Wong, Ghent University, BelgiumGeneric cuts in models of arithmetic, reprise.
2 Apr 2013Stephen G. Simpson, Pennsylvania State UniversityImplicit definability in arithmetic, part 3.
9 Apr 2013John Pardo, Pennsylvania State UniversityThe random graph and its properties.
16 Apr 2013Stephen Flood, Pennsylvania State UniversityThe logic of graph decompositions.
23 Apr 2013Jan Reimann, Pennsylvania State UniversityGraph limits and random graphs
27 Aug 2013Stephen G. Simpson, Pennsylvania State UniversityOrganizational meeting
3 Sep 2013John Pardo, Pennsylvania State UniversityForcing for basis theorems
10 Sep 2013John Pardo, Pennsylvania State UniversityThe reverse mathematics of Ramsey's Theorem: an overview
17 Sep 2013Jason Rute, Pennsylvania State UniversitySchnorr random pairs
24 Sep 2013Antonio Bonelli, University of Basilicata, Potenza, ItalyPresburger arithmetic, rational generating functions, and quasi-polynomials
1 Oct 2013Ermek Nurkhaidarov, Pennsylvania State University, Mont Alto CampusOn automorphisms of saturated models of Peano Arithmetic
8 Oct 2013Stephen G. Simpson, Pennsylvania State UniversityCone avoidance and randomness preservation, part 1
15 Oct 2013Stephen G. Simpson, Pennsylvania State UniversityCone avoidance and randomness preservation, part 2
22 Oct 2013Jan Reimann, Pennsylvania State UniversityEffective Multifractal Spectra
29 Oct 2013Linda Brown Westrick, University of Califormia, BerkeleyA lightface analysis of the differentiability rank
5 Nov 2013Adrian Maler, Pennsylvania State UniversityAlgorithmic randomness and stochastic processes.
12 Nov 2013Damir Dzhafarov, University of ConnecticutStrong reductions between combinatorial problems
19 Nov 2013Kostas Hatzikiriakou, University of Thessaloniki, GreeceLindstr"om's characterization of first-order logic
3 Dec 2013Stephen G. Simpson, Pennsylvania State UniversitySubmeasures, supermeasures, and effective capacitability.
10 Dec 2013Stephen G. Simpson, Pennsylvania State UniversityThere is no Logic Seminar this week.
Archives 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.