PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar (2012 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
10 Jan 2012 Organizational Meeting
17 Jan 2012Phil Hudelson, Pennsylvania State UniversityForcing in Arithmetic
24 Jan 2012Noopur Pathak, Pennsylvania State UniversityCohen forcing and Sacks forcing in Recursion Theory
31 Jan 2012Keita Yokoyama, Pennsylvania State University and Tokyo Institute of TechnologyOn the reverse mathematics of Peano categoricity
7 Feb 2012Adrian Maler, Pennsylvania State UniversitySlaman-Woodin Coding (I)
14 Feb 2012Adrian Maler, Pennsylvania State UniversitySlaman-Woodin Coding (II)
21 Feb 2012William Calhoun, Bloomsburg UniversityDegree of Randomness versus Turing degree
28 Feb 2012Sankha Basu, Pennsylvania State UniversityBorel Determinacy
13 Mar 2012Sankha Basu, Pennsylvania State UniversityBorel Determinacy (II)
20 Mar 2012Russell Miller, City University of New YorkDegrees of Categoricity of Algebraic Fields
27 Mar 2012Keita Yokoyama, Tokyo Institute of Technology and Pennsylvania State UniversityApplications of Slaman-Woodin coding
3 Apr 2012Phil Hudelson, Pennsylvania State UniversityMartin's Conjecture
10 Apr 2012John Pardo, Pennsylvania State UniversityUniformly Degree-invariant Functions
17 Apr 2012Jan Reimann, Pennsylvania State UniversityMartin's Conjecture and Borel Equivalence Relations
24 Apr 2012Daisuke Ikegami, University of California, BerkeleyRegularity properties and forcing absoluteness
1 May 2012 To Be Announced
8 May 2012 To Be Announced
15 May 2012 To Be Announced
22 May 2012 To Be Announced
29 May 2012Keita Yokoyama, Tokyo Institute of TechnologyCompressibility and arithmetic.
5 Jun 2012Kojiro Higuchi, Tohoku UniversityThe Muchnik degrees of nonempty Pi01 sets.
11 Jun 2012
MB106

10:00am - 11:15am
Chi-Tat Chong, National University of SingaporeThe strength of Ramsey's Theorem for Pairs
12 Jun 2012 To Be Announced
19 Jun 2012Stephen G. Simpson, Pennsylvania State UniversityPropagation of partial randomness.
26 Jun 2012Jan Reimann, Pennsylvania State UniversityAlgorithmic randomness - a view from ergodic theory
3 Jul 2012 To Be Announced
10 Jul 2012Jan Reimann, Pennsylvania State UniversityRandomness for non-uniform distributions, joinings, and independence
17 Jul 2012Noopur Pathak, Pennsylvania State UniversityRandomness for purely atomic and diminutive measures
24 Jul 2012Phil Hudelson, Pennsylvania State UniversityRandomness for purely atomic and diminutive measures (II)
31 Jul 2012Stephen G. Simpson, Pennsylvania State UniversityA survey of basis theorems.
7 Aug 2012Keita Yokoyama, Tokyo Institute of TechnologyOn the strength of Ramsey's Theorem without Sigma_1 induction
14 Aug 2012 To Be Announced
21 Aug 2012 To Be Announced
28 Aug 2012 Organizational Meeting
4 Sep 2012Stephen G. Simpson, Pennsylvania State UniversityA survey of partial randomness.
11 Sep 2012Stephen Flood, Pennsylvania State UniversityPaths, trees, and the computational strength of Ramsey type theorems
18 Sep 2012Adrian Maler, Pennsylvania State UniversityDescriptive Complexity of Brownian Motion
25 Sep 2012Stephen G. Simpson, Pennsylvania State UniversityThe reverse mathematics of Peano categoricity
2 Oct 2012Phil Hudelson, Pennsylvania State UniversityOld and new perspectives on K-trivials
9 Oct 2012Andrew Marks, California Institute of TechnologyBorel combinatorics, recursion theory, and countable Borel equivalance relations
16 Oct 2012Jan Reimann, Pennsylvania State UniversityThe structure of non-atomic randomness
23 Oct 2012Jake Pardo, Pennsylvania State UniversityTuring equivalence as a Borel equivalence relation
30 Oct 2012Sankha Basu, Pennsylvania State UniversityA model of intuitionism based on Turing degrees
2 Nov 2012
4:35pm - 5:45pm
Alice Medvedev, University of California, BerkeleyUnions of chains of signatures
6 Nov 2012Daisuke Ikegami, University of California, BerkeleyGale-Stewart games and Blackwell games
13 Nov 2012Jason Rute, Carniegie Mellon UniversityComputable randomness and martingales a la probability theory
20 Nov 2012 No Seminar, Thanksgiving Break
27 Nov 2012Stephen G. Simpson, Pennsylvania State UniversityExplicit and implicit definability over the integers, part 1
4 Dec 2012Noopur Pathak, Pennsylvania State UniversityResults in Measure Theoretic Regularity
11 Dec 2012no speakercanceled
Archives 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.