Logic Seminar (2008)

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 (2008)
DateRoomSpeaker(s)Title
12 Feb 2008 2:30pm - 3:45pm106 McAllisterBart KastermansSeparating notions of randomness
26 Aug 2008 2:30pm - 3:45pm216 McAllisterStephen G. SimpsonTranslating combinatorial problems into propositional calculus.
02 Sep 2008 2:30pm - 3:45pm216 McAllisterJacob Hendricks, Phil Hudelson, Noopur PathakThe Compactness Theorem for propositional logic: the uncountable case
09 Sep 2008 2:30pm - 3:45pm309 Boucke BuildingStephen G. SimpsonTranslating computer programs into the predicate calculus
11 Sep 2008 9:30am - 10:45am315 McAllisterPeter NyikosLarge cardinals and general topology
16 Sep 2008 2:30pm - 3:45pm106 McAllisterSankha BasuSatisfiability in a domain
23 Sep 2008 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonThe logical structure of arithmetic and set theory, part 1
30 Sep 2008 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonThe logical structure of arithmetic and set theory, part 2
07 Oct 2008 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonThe logical structure of arithmetic and set theory, part 3
14 Oct 2008 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonThe logical structure of arithmetic and set theory, part 4
21 Oct 2008 2:30pm - 3:45pm106 McAllisterJohn ClemensA vague introduction to descriptive set theory, part 1
28 Oct 2008 2:30pm - 3:45pm106 McAllisterJohn ClemensA vague introduction to descriptive set theory, part 2
04 Nov 2008 2:30pm - 3:45pm106 McAllisterJohn ClemensDescriptive set theory and infinite games
11 Nov 2008 2:30pm - 3:45pm106 McAllisterKentaro SatoThe strength of extensionality
18 Nov 2008 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonIncompleteness and undecidability
20 Nov 2008 9:30am - 10:45am315 McAllisterAvi WigdersonRandomness: a computational complexity view
02 Dec 2008 2:30pm - 3:45pm106 McAllisterThomas JechMeasure algebras
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.