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.
Date | Room | Speaker(s) | Title |
---|---|---|---|
16 Oct 2007 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Introduction to mass problems |
23 Oct 2007 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Mass problems associated with effectively closed sets |
30 Oct 2007 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Mass problems and the Goedel Incompleteness Theorem |
06 Nov 2007 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Mass problems associated with effectively closed sets |
13 Nov 2007 2:30pm - 3:45pm | 106 McAllister | Peter Cholak | Strong Jump-Traceability I : the Computably Enumerable Case |
04 Dec 2007 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Mass problems associated with effectively closed sets |
11 Dec 2007 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Mass problems associated with effectively closed sets |