# 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 |