Date | Speaker(s) | Title |

12 Feb 2008 | Bart Kastermans, University of Wisconsin, Madison | Separating notions of randomness |

26 Aug 2008 MB216 | Stephen G. Simpson, Pennsylvania State University | Translating combinatorial problems into propositional calculus. |

2 Sep 2008 MB216 | Jacob Hendricks, Phil Hudelson, Noopur Pathak, The Pennsylvania State University | The Compactness Theorem for propositional logic: the uncountable case |

9 Sep 2008 309 Boucke Building | Stephen G. Simpson, Pennsylvania State University | Translating computer programs into the predicate calculus |

11 Sep 2008 MB315 9:30am - 10:45am | Peter Nyikos, University of South Carolina | Large cardinals and general topology |

16 Sep 2008 | Sankha Basu, Pennsylvania State University | Satisfiability in a domain |

23 Sep 2008 | Stephen G. Simpson, Pennsylvania State University | The logical structure of arithmetic and set theory, part 1 |

30 Sep 2008 | Stephen G. Simpson, Pennsylvania State University | The logical structure of arithmetic and set theory, part 2 |

7 Oct 2008 | Stephen G. Simpson, Pennsylvania State University | The logical structure of arithmetic and set theory, part 3 |

14 Oct 2008 | Stephen G. Simpson, Pennsylvania State University | The logical structure of arithmetic and set theory, part 4 |

21 Oct 2008 | John Clemens, Pennsylvania State University | A vague introduction to descriptive set theory, part 1 |

28 Oct 2008 | John Clemens, Pennsylvania State University | A vague introduction to descriptive set theory, part 2 |

4 Nov 2008 | John Clemens, Pennsylvania State University | Descriptive set theory and infinite games |

11 Nov 2008 | Kentaro Sato, Kobe University, Japan | The strength of extensionality |

18 Nov 2008 | Stephen G. Simpson, Pennsylvania State University | Incompleteness and undecidability |

20 Nov 2008 MB315 9:30am - 10:45am | Avi Wigderson, Institute for Advanced Study, New Jersey | Randomness: a computational complexity view |

2 Dec 2008 | Thomas Jech, Penn State and Czech Academy of Sciences | Measure algebras |