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

Logic Seminar (2012)

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 (2012)
DateRoomSpeaker(s)Title
10 Jan 2012 2:30pm - 3:45pm315 McAllisterOrganizational Meeting
17 Jan 2012 2:30pm - 3:45pm315 McAllisterPhil HudelsonForcing in Arithmetic
24 Jan 2012 2:30pm - 3:45pm315 McAllisterNoopur PathakCohen forcing and Sacks forcing in Recursion Theory
31 Jan 2012 2:30pm - 3:45pm315 McAllisterKeita YokoyamaOn the reverse mathematics of Peano categoricity
07 Feb 2012 2:30pm - 3:45pm315 McAllisterAdrian MalerSlaman-Woodin Coding (I)
14 Feb 2012 2:30pm - 3:45pm315 McAllisterAdrian MalerSlaman-Woodin Coding (II)
21 Feb 2012 2:30pm - 3:45pm315 McAllisterWilliam CalhounDegree of Randomness versus Turing degree
28 Feb 2012 2:30pm - 3:45pm315 McAllisterSankha BasuBorel Determinacy
13 Mar 2012 2:30pm - 3:45pm315 McAllisterSankha BasuBorel Determinacy (II)
20 Mar 2012 2:30pm - 3:45pm315 McAllisterRussell MillerDegrees of Categoricity of Algebraic Fields
27 Mar 2012 2:30pm - 3:45pm315 McAllisterKeita YokoyamaApplications of Slaman-Woodin coding
03 Apr 2012 2:30pm - 3:45pm315 McAllisterPhil HudelsonMartin's Conjecture
10 Apr 2012 2:30pm - 3:45pm315 McAllisterJohn PardoUniformly Degree-invariant Functions
17 Apr 2012 2:30pm - 3:45pm315 McAllisterJan ReimannMartin's Conjecture and Borel Equivalence Relations
24 Apr 2012 2:30pm - 3:45pm315 McAllisterDaisuke IkegamiRegularity properties and forcing absoluteness
01 May 2012 2:30pm - 3:45pm315 McAllisterUntitled
08 May 2012 2:30pm - 3:45pm315 McAllisterUntitled
15 May 2012 2:30pm - 3:45pm315 McAllisterUntitled
22 May 2012 2:30pm - 3:45pm315 McAllisterUntitled
29 May 2012 2:30pm - 3:45pm315 McAllisterKeita YokoyamaCompressibility and arithmetic.
05 Jun 2012 2:30pm - 3:45pm315 McAllisterKojiro HiguchiThe Muchnik degrees of nonempty Pi01 sets.
11 Jun 2012 10:00am - 11:15am106 McAllisterChi-Tat ChongThe strength of Ramsey's Theorem for Pairs
12 Jun 2012 2:30pm - 3:45pm315 McAllisterUntitled
19 Jun 2012 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonPropagation of partial randomness.
26 Jun 2012 2:30pm - 3:45pm315 McAllisterJan ReimannAlgorithmic randomness - a view from ergodic theory
03 Jul 2012 2:30pm - 3:45pm315 McAllisterUntitled
10 Jul 2012 2:30pm - 3:45pm315 McAllisterJan ReimannRandomness for non-uniform distributions, joinings, and independence
17 Jul 2012 2:30pm - 3:45pm315 McAllisterNoopur PathakRandomness for purely atomic and diminutive measures
24 Jul 2012 2:30pm - 3:45pm315 McAllisterPhil HudelsonRandomness for purely atomic and diminutive measures (II)
31 Jul 2012 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonA survey of basis theorems.
07 Aug 2012 2:30pm - 3:45pm315 McAllisterKeita YokoyamaOn the strength of Ramsey's Theorem without Sigma_1 induction
14 Aug 2012 2:30pm - 3:45pm315 McAllisterUntitled
21 Aug 2012 2:30pm - 3:45pm315 McAllisterUntitled
28 Aug 2012 2:30pm - 3:45pm315 McAllisterOrganizational Meeting
04 Sep 2012 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonA survey of partial randomness.
11 Sep 2012 2:30pm - 3:45pm315 McAllisterStephen FloodPaths, trees, and the computational strength of Ramsey type theorems
18 Sep 2012 2:30pm - 3:45pm315 McAllisterAdrian MalerDescriptive Complexity of Brownian Motion
25 Sep 2012 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonThe reverse mathematics of Peano categoricity
02 Oct 2012 2:30pm - 3:45pm315 McAllisterPhil HudelsonOld and new perspectives on K-trivials
09 Oct 2012 2:30pm - 3:45pm315 McAllisterAndrew MarksBorel combinatorics, recursion theory, and countable Borel equivalance relations
16 Oct 2012 2:30pm - 3:45pm315 McAllisterJan ReimannThe structure of non-atomic randomness
23 Oct 2012 2:30pm - 3:45pm315 McAllisterJake PardoTuring equivalence as a Borel equivalence relation
30 Oct 2012 2:30pm - 3:45pm315 McAllisterSankha BasuA model of intuitionism based on Turing degrees
02 Nov 2012 4:35pm - 5:45pm315 McAllisterAlice MedvedevUnions of chains of signatures
06 Nov 2012 2:30pm - 3:45pm315 McAllisterDaisuke IkegamiGale-Stewart games and Blackwell games
13 Nov 2012 2:30pm - 3:45pm315 McAllisterJason RuteComputable randomness and martingales a la probability theory
20 Nov 2012 2:30pm - 3:45pm315 McAllisterNo Seminar, Thanksgiving Break
27 Nov 2012 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonExplicit and implicit definability over the integers, part 1
04 Dec 2012 2:30pm - 3:45pm315 McAllisterNoopur PathakResults in Measure Theoretic Regularity
11 Dec 2012 2:30pm - 3:45pm315 McAllisterno speakercanceled
Archives 2021, 2020, 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.