0946c
Mini-Workshop: Feinstrukturtheorie und Innere Modelle
Workshop
0946cPeriod
08 Nov - 14 Nov 2009Abstract
This workshop presented recent advances in fine structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their fine structure, and the construction of true K below a Woodin cardinal in ZFC. The remaining talks involved precipitous ideals, stationary set reflection, failure of SCH in ZF, nonthreadable square sequences, reverse mathematics, forcing axioms, covering properties of canonical inner models, and “set theoretic geology.”