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

Logic Seminar (2007)

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 (2007)
DateRoomSpeaker(s)Title
16 Oct 2007 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonIntroduction to mass problems
23 Oct 2007 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonMass problems associated with effectively closed sets
30 Oct 2007 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonMass problems and the Goedel Incompleteness Theorem
06 Nov 2007 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonMass problems associated with effectively closed sets
13 Nov 2007 2:30pm - 3:45pm106 McAllisterPeter CholakStrong Jump-Traceability I : the Computably Enumerable Case
04 Dec 2007 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonMass problems associated with effectively closed sets
11 Dec 2007 2:30pm - 3:45pm106 McAllisterStephen G. SimpsonMass problems associated with effectively closed sets
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.