1. Events
  3. Seminar
  4. Logic Seminar (2013)

Logic Seminar (2013)

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.

Logic Seminar (2013)
DateRoomSpeaker(s)Title
08 Jan 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonImplicit definability in arithmetic, part 1.
15 Jan 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonImplicit definability in arithmetic, part 2.
22 Jan 2013 2:30pm - 3:45pm315 McAllisterAdrian MalerRandom continuous functions.
29 Jan 2013 2:30pm - 3:45pm315 McAllisterPhil HudelsonPartial randomness and strong separations, part 1.
05 Feb 2013 2:30pm - 3:45pm315 McAllisterPhil HudelsonPartial randomness and strong separations, part 2.
12 Feb 2013 2:30pm - 3:45pm315 McAllisterPhil HudelsonPartial randomness and strong separations, part 3.
26 Feb 2013 2:30pm - 3:45pm315 McAllisterKeng Meng (Selwyn) NgOn arithmetical equivalence relations.
12 Mar 2013 2:30pm - 3:45pm315 McAllisterKeita YokoyamaPi^1_1-conservative extensions of subsystems of second-order arithmetic.
19 Mar 2013 2:30pm - 3:45pm315 McAllisterJan ReimannDegree-invariant functions and uniform Borel reductions
26 Mar 2013 2:30pm - 3:45pm315 McAllisterTin Lok (Lawrence) WongGeneric cuts in models of arithmetic, reprise.
02 Apr 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonImplicit definability in arithmetic, part 3.
09 Apr 2013 2:30pm - 3:45pm315 McAllisterJohn PardoThe random graph and its properties.
16 Apr 2013 2:30pm - 3:45pm315 McAllisterStephen FloodThe logic of graph decompositions.
23 Apr 2013 2:30pm - 3:45pm315 McAllisterJan ReimannGraph limits and random graphs
27 Aug 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonOrganizational meeting
03 Sep 2013 2:30pm - 3:45pm315 McAllisterJohn PardoForcing for basis theorems
10 Sep 2013 2:30pm - 3:45pm315 McAllisterJohn PardoThe reverse mathematics of Ramsey's Theorem: an overview
17 Sep 2013 2:30pm - 3:45pm315 McAllisterJason RuteSchnorr random pairs
24 Sep 2013 2:30pm - 3:45pm315 McAllisterAntonio BonelliPresburger arithmetic, rational generating functions, and quasi-polynomials
01 Oct 2013 2:30pm - 3:45pm315 McAllisterErmek NurkhaidarovOn automorphisms of saturated models of Peano Arithmetic
08 Oct 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonCone avoidance and randomness preservation, part 1
15 Oct 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonCone avoidance and randomness preservation, part 2
22 Oct 2013 2:30pm - 3:45pm315 McAllisterJan ReimannEffective Multifractal Spectra
29 Oct 2013 2:30pm - 3:45pm315 McAllisterLinda Brown WestrickA lightface analysis of the differentiability rank
05 Nov 2013 2:30pm - 3:45pm315 McAllisterAdrian MalerAlgorithmic randomness and stochastic processes.
12 Nov 2013 2:30pm - 3:45pm315 McAllisterDamir DzhafarovStrong reductions between combinatorial problems
19 Nov 2013 2:30pm - 3:45pm315 McAllisterKostas HatzikiriakouLindstr"om's characterization of first-order logic
03 Dec 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonSubmeasures, supermeasures, and effective capacitability.
10 Dec 2013 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonThere is no Logic Seminar this week.
Archives 2019, 2018, 2017, 2016, 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.