PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar

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
7 May 2013 To Be Announced
14 May 2013 To Be Announced

Subscribe to this seminar's semesterly iCalendar feed!

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