Logic Seminar (2009)

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 (2009)
DateRoomSpeaker(s)Title
13 Jan 2009 2:30pm - 3:45pm315 McAllisterPhilipp GerhardyProof mining in topological dynamics
20 Jan 2009 2:30pm - 3:45pm315 McAllisterAlexander ShenSelf-referential constructions, fixed-point theorems, and aperiodic tilings
27 Jan 2009 2:30pm - 3:45pm315 McAllisterNoopur PathakA computational aspect of the Lebesgue differentiation theorem
03 Feb 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonMass problems, part 1
10 Feb 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonMass problems, part 2
17 Feb 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonMass problems, part 3
24 Feb 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 1
03 Mar 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 2
17 Mar 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 3
24 Mar 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 4
31 Mar 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems. part 5
07 Apr 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 6
14 Apr 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 7
21 Apr 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 8
28 Apr 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensIntroduction to Borel equivalence relations and classification problems, part 9
05 May 2009 2:30pm - 3:45pm315 McAllisterUntitled
12 May 2009 2:30pm - 3:45pm315 McAllisterUntitled
19 May 2009 2:30pm - 3:45pm315 McAllisterUntitled
26 May 2009 2:30pm - 3:45pm315 McAllisterUntitled
02 Jun 2009 2:30pm - 3:45pm315 McAllisterUntitled
09 Jun 2009 2:30pm - 3:45pm315 McAllisterUntitled
16 Jun 2009 2:30pm - 3:45pm315 McAllisterUntitled
23 Jun 2009 2:30pm - 3:45pm315 McAllisterUntitled
30 Jun 2009 2:30pm - 3:45pm315 McAllisterUntitled
07 Jul 2009 2:30pm - 3:45pm315 McAllisterUntitled
10 Jul 2009 10:10am - 12:05pm106 McAllisterStephen BinnsA generalisation of the Kucera-Gacs Theorem
14 Jul 2009 2:30pm - 3:45pm315 McAllisterUntitled
21 Jul 2009 2:30pm - 3:45pm315 McAllisterUntitled
28 Jul 2009 2:30pm - 3:45pm315 McAllisterUntitled
04 Aug 2009 2:30pm - 3:45pm315 McAllisterUntitled
11 Aug 2009 2:30pm - 3:45pm315 McAllisterUntitled
18 Aug 2009 2:30pm - 3:45pm315 McAllisterUntitled
25 Aug 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonFoundations of Mathematics
01 Sep 2009 2:30pm - 3:45pm315 McAllisterKeita YokoyamaReverse mathematics for analysis
08 Sep 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonMeasure-theoretic regularity: logical aspects.
15 Sep 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonDegrees of unsolvability and the Borel hierarchy
22 Sep 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonLR-reducibility, LK-reducibility, and measure-theoretic regularity
29 Sep 2009 2:30pm - 3:45pm315 McAllisterCarl MummertStationary and convergent strategies in Choquet games
06 Oct 2009 2:30pm - 3:45pm315 McAllisterJohn ClemensAutomatic groups
07 Oct 2009 3:30pm - 5:00pm114 McAllisterBakh KhoussainovAutomatic structures
13 Oct 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonLR-reducibility and LK-reducibility
27 Oct 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonMeasure-theoretic regularity and LR-reducibility
03 Nov 2009 2:30pm - 3:45pm315 McAllisterTakako NemotoDeterminacy of Wadge classes and subsystems of second-order arithmetic
10 Nov 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonLR-reducibility and the Turing jump operator
17 Nov 2009 2:30pm - 3:45pm315 McAllisterKostas HatzikiriakouWKL_0 and the Hahn-Banach Theorem in countable vector spaces over countable ordered fields
01 Dec 2009 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonMass problems and measure-theoretic regularity
08 Dec 2009 2:30pm - 3:45pm315 McAllisterseveral graduate studentsShort presentations
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.