Logic Seminar
Scott Cramer
University of California, Berkeley
Inverse limit reflection and pseudo-descriptive set theory
Abstract: The structure $L(V_{\lambda+1})$ was first studied by Woodin to prove the consistency of $AD^{L(R)}$ from large cardinals. He later showed that many of the same structural properties of $L(R)$ under determinacy hold for $L(V_{\lambda+1})$ under large cardinals. Laver first introduced the tool of inverse limits in this context to tackle the problem of reflecting large cardinals at this level. In this talk we will extend Laver's results on inverse limit reflection, and then use this technique to analyze further the structure of $L(V_{\lambda+1})$ and its relationship to models of determinacy.
Tuesday November 13, 2012 at 4:00 PM in SEO 427