Mathematical logic seminar - March 18, 2008

Time: 12:00 - 13:20

Room: Porter Hall A 19 D

Speaker:     Ernest Schimmerling   
Department of Mathematical Sciences
Carnegie Mellon University

Title: Open problems about L

Abstract: There are indeed open questions about L. I'll state a few and describe related results on two topics: forcing axioms and mutual stationarity. The talk will include an overview of Jensen's fine structure theory and, as such, will be self-contained.