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
14 May 2013 To Be Announced
20 Aug 2013 To Be Announced
27 Aug 2013 To Be Announced
3 Sep 2013 To Be Announced
10 Sep 2013 To Be Announced
17 Sep 2013 To Be Announced
24 Sep 2013 To Be Announced
1 Oct 2013Ermek Nurkhaidarov, Pennsylvania State University, Mont Alto CampusTo be announced.
8 Oct 2013 To Be Announced
15 Oct 2013 To Be Announced
22 Oct 2013 To Be Announced
29 Oct 2013 To Be Announced
5 Nov 2013 To Be Announced
12 Nov 2013 To Be Announced
19 Nov 2013 To Be Announced
26 Nov 2013 To Be Announced
3 Dec 2013 To Be Announced
10 Dec 2013 To Be Announced
17 Dec 2013 To Be Announced
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.