PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar (2008 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
12 Feb 2008Bart Kastermans, University of Wisconsin, MadisonSeparating notions of randomness
26 Aug 2008
MB216
Stephen G. Simpson, Pennsylvania State UniversityTranslating combinatorial problems into propositional calculus.
2 Sep 2008
MB216
Jacob Hendricks, Phil Hudelson, Noopur Pathak, The Pennsylvania State UniversityThe Compactness Theorem for propositional logic: the uncountable case
9 Sep 2008
309 Boucke Building
Stephen G. Simpson, Pennsylvania State UniversityTranslating computer programs into the predicate calculus
11 Sep 2008
MB315

9:30am - 10:45am
Peter Nyikos, University of South CarolinaLarge cardinals and general topology
16 Sep 2008Sankha Basu, Pennsylvania State UniversitySatisfiability in a domain
23 Sep 2008Stephen G. Simpson, Pennsylvania State UniversityThe logical structure of arithmetic and set theory, part 1
30 Sep 2008Stephen G. Simpson, Pennsylvania State UniversityThe logical structure of arithmetic and set theory, part 2
7 Oct 2008Stephen G. Simpson, Pennsylvania State UniversityThe logical structure of arithmetic and set theory, part 3
14 Oct 2008Stephen G. Simpson, Pennsylvania State UniversityThe logical structure of arithmetic and set theory, part 4
21 Oct 2008John Clemens, Pennsylvania State UniversityA vague introduction to descriptive set theory, part 1
28 Oct 2008John Clemens, Pennsylvania State UniversityA vague introduction to descriptive set theory, part 2
4 Nov 2008John Clemens, Pennsylvania State UniversityDescriptive set theory and infinite games
11 Nov 2008Kentaro Sato, Kobe University, JapanThe strength of extensionality
18 Nov 2008Stephen G. Simpson, Pennsylvania State UniversityIncompleteness and undecidability
20 Nov 2008
MB315

9:30am - 10:45am
Avi Wigderson, Institute for Advanced Study, New JerseyRandomness: a computational complexity view
2 Dec 2008Thomas Jech, Penn State and Czech Academy of SciencesMeasure algebras
Archives 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.