JournalsowrVol. 6 / No. 4DOI 10.4171/owr/2009/51

Mini-Workshop: Feinstrukturtheorie und Innere Modelle

  • Menachem Magidor

    The Hebrew University, Jerusalem, Israel
  • Ronald B. Jensen

    Humboldt-Universität zu Berlin, Germany
  • Ralf-Dieter Schindler

    Universität Münster, Germany
Mini-Workshop: Feinstrukturtheorie und Innere Modelle cover

You need to subscribe to download the article.

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