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

Date | Room | Speaker(s) | Title |
---|---|---|---|

12 Feb 2008 2:30pm - 3:45pm | 106 McAllister | Bart Kastermans | Separating notions of randomness |

26 Aug 2008 2:30pm - 3:45pm | 216 McAllister | Stephen G. Simpson | Translating combinatorial problems into propositional calculus. |

02 Sep 2008 2:30pm - 3:45pm | 216 McAllister | Jacob Hendricks, Phil Hudelson, Noopur Pathak | The Compactness Theorem for propositional logic: the uncountable case |

09 Sep 2008 2:30pm - 3:45pm | 309 Boucke Building | Stephen G. Simpson | Translating computer programs into the predicate calculus |

11 Sep 2008 9:30am - 10:45am | 315 McAllister | Peter Nyikos | Large cardinals and general topology |

16 Sep 2008 2:30pm - 3:45pm | 106 McAllister | Sankha Basu | Satisfiability in a domain |

23 Sep 2008 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | The logical structure of arithmetic and set theory, part 1 |

30 Sep 2008 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | The logical structure of arithmetic and set theory, part 2 |

07 Oct 2008 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | The logical structure of arithmetic and set theory, part 3 |

14 Oct 2008 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | The logical structure of arithmetic and set theory, part 4 |

21 Oct 2008 2:30pm - 3:45pm | 106 McAllister | John Clemens | A vague introduction to descriptive set theory, part 1 |

28 Oct 2008 2:30pm - 3:45pm | 106 McAllister | John Clemens | A vague introduction to descriptive set theory, part 2 |

04 Nov 2008 2:30pm - 3:45pm | 106 McAllister | John Clemens | Descriptive set theory and infinite games |

11 Nov 2008 2:30pm - 3:45pm | 106 McAllister | Kentaro Sato | The strength of extensionality |

18 Nov 2008 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Incompleteness and undecidability |

20 Nov 2008 9:30am - 10:45am | 315 McAllister | Avi Wigderson | Randomness: a computational complexity view |

02 Dec 2008 2:30pm - 3:45pm | 106 McAllister | Thomas Jech | Measure algebras |