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