Mini-Workshop: Feinstrukturtheorie und Innere Modelle
Menachem Magidor
The Hebrew University, Jerusalem, IsraelRonald B. Jensen
Humboldt-Universität zu Berlin, GermanyRalf -Diet Schindler
Universität Münster, Germany

Abstract
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.”
Cite this article
Menachem Magidor, Ronald B. Jensen, Ralf -Diet Schindler, Mini-Workshop: Feinstrukturtheorie und Innere Modelle. Oberwolfach Rep. 6 (2009), no. 4, pp. 2771–2786
DOI 10.4171/OWR/2009/51