A Core Model Toolbox and Guide



The subject of this chapter is core model theory at the level where it involves iteration trees. Our toolbox includes a list of fundamental theorems that set theorists who are not necessarily core model theorists can use off the shelf in applications. It also includes a catalog of such applications. For those interested in the nuts and bolts of core model theory, we offer a guide to the monograph “The Core Model Iterability Problem” by John Steel. We also provide an outline of the paper “The covering lemma up to a Woodin cardinal” by William Mitchell, John Steel and Ernest Schimmerling. These two sections with proofs build on an initial segment of the Handbook of Set Theory chapter by John Steel, whereas the other three sections require only general knowledge of set theory.


Hull Boulder Bedding Cardi Padding 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Uri Abraham and Menachen Magidor. Cardinal arithmetic. Chapter 14 in this Handbook.  10.1007/978-1-4020-5764-9_15
  2. [2]
    Alessandro Andretta, Itay Neeman, and John R. Steel. The domestic levels of K c are iterable. Israel Journal of Mathematics, 125:157–201, 2001. MATHCrossRefMathSciNetGoogle Scholar
  3. [3]
    Mohamed Bekkali. Topics in Set Theory, volume 1476 of Lecture Notes in Mathematics. Springer, Berlin, 1991. Notes on lectures by Stevo Todorcevic. MATHGoogle Scholar
  4. [4]
    Douglas Burke. Generic embeddings and the failure of box. Proceedings of the American Mathematical Society, 123(9):2867–2871, 1995. MATHCrossRefMathSciNetGoogle Scholar
  5. [5]
    Dieter Donder and Ulrich Fuchs. Revised Countable Support Iterations. Google Scholar
  6. [6]
    Matthew Foreman, Menachem Magidor, and Ralf Schindler. The consistency strength of successive cardinals with the tree property. The Journal of Symbolic Logic, 66(4):1837–1847, 2001. MATHCrossRefMathSciNetGoogle Scholar
  7. [7]
    Matthew Foreman, Menachem Magidor, and Saharon Shelah. Martin’s Maximum, saturated ideals, and nonregular ultrafilters. I. Annals of Mathematics (2), 127(1):1–47, 1988. CrossRefMathSciNetGoogle Scholar
  8. [8]
    Moti Gitik. Two stationary sets with different gaps of the power set function. Google Scholar
  9. [9]
    Moti Gitik. All uncountable cardinals can be singular. Israel Journal of Mathematics, 35(1–2):61–88, 1980. MATHCrossRefMathSciNetGoogle Scholar
  10. [10]
    Moti Gitik, Ralf Schindler, and Saharon Shelah. Pcf theory and Woodin cardinals. In Logic Colloquium ’02, volume 27 of Lecture Notes in Logic, pages 172–205. Association for Symbolic Logic, Urbana, 2006. Google Scholar
  11. [11]
    Kai Hauser and Ralf Schindler. Projective uniformization revisited. Annals of Pure and Applied Logic, 103(1–3):109–153, 2000. MATHCrossRefMathSciNetGoogle Scholar
  12. [12]
    Greg Hjorth. \(\bf {\Pi^{1}_{2}}\) Wadge degrees. Annals of Pure and Applied Logic, 77(1):53–74, 1996. MATHCrossRefMathSciNetGoogle Scholar
  13. [13]
    Ronald B. Jensen, Ernest Schimmerling, Ralf Schindler, and John R. Steel. Stacking mice. The Journal of Symbolic Logic, 74(1):315–335, 2009. MATHCrossRefMathSciNetGoogle Scholar
  14. [14]
    Peter Koellner and W. Hugh Woodin. Large cardinals from determinacy. Chapter 23 in this Handbook.  10.1007/978-1-4020-5764-9_24
  15. [15]
    Paul Larson. Forcing over models of determinacy. Chapter 24 in this Handbook.  10.1007/978-1-4020-5764-9_25
  16. [16]
    Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, 2(1):71–125, 1989. MATHCrossRefMathSciNetGoogle Scholar
  17. [17]
    Donald A. Martin and John R. Steel. Iteration trees. Journal of the American Mathematical Society, 7(1):1–73, 1994. MATHCrossRefMathSciNetGoogle Scholar
  18. [18]
    William J. Mitchell. The Covering Lemma. Chapter 18 in this Handbook.  10.1007/978-1-4020-5764-9_19
  19. [19]
    William J. Mitchell and Ernest Schimmerling. Weak covering without countable closure. Mathematical Research Letters, 2(5):595–609, 1995. MATHMathSciNetGoogle Scholar
  20. [20]
    William J. Mitchell and John R. Steel. Fine Structure and Iteration Trees, volume 3 of Lecture Notes in Logic. Springer, Berlin, 1994. MATHGoogle Scholar
  21. [21]
    William J. Mitchell, Ernest Schimmerling, and John R. Steel. The covering lemma up to a Woodin cardinal. Annals of Pure and Applied Logic, 84(2):219–255, 1997. MATHCrossRefMathSciNetGoogle Scholar
  22. [22]
    Itay Neeman. Determinacy in L(ℝ). Chapter 22 in this Handbook.  10.1007/978-1-4020-5764-9_23
  23. [23]
    Itay Neeman. Inner models in the region of a Woodin limit of Woodin cardinals. Annals of Pure and Applied Logic, 116(1–3):67–155, 2002. MATHCrossRefMathSciNetGoogle Scholar
  24. [24]
    Itay Neeman. Hierarchies of forcing axioms II. The Journal of Symbolic Logic, 73:522–542, 2008. MATHCrossRefMathSciNetGoogle Scholar
  25. [25]
    Itay Neeman and Ernest Schimmerling. Hierarchies of forcing axioms I. The Journal of Symbolic Logic, 73(1):343–362, 2008. MATHCrossRefMathSciNetGoogle Scholar
  26. [26]
    Itay Neeman and John R. Steel. Counterexamples to the unique and cofinal branches hypotheses. The Journal of Symbolic Logic, 71(3):977–988, 2006. MATHCrossRefMathSciNetGoogle Scholar
  27. [27]
    Ernest Schimmerling. Combinatorial principles in the core model for one Woodin cardinal. Annals of Pure and Applied Logic, 74(2):153–201, 1995. MATHCrossRefMathSciNetGoogle Scholar
  28. [28]
    Ernest Schimmerling. Covering properties of core models. In S. Barry Cooper and John K. Truss, editors, Sets and Proofs, Logic Colloquium ’97, volume 258 of London Mathematical Society Lecture Note Series, pages 281–299. Cambridge University Press, Cambridge, 1999. Google Scholar
  29. [29]
    Ernest Schimmerling. Coherent sequences and threads. Advances in Mathematics, 216(1):89–117, 2007. MATHCrossRefMathSciNetGoogle Scholar
  30. [30]
    Ernest Schimmerling and John R. Steel. The maximality of the core model. Transactions of the American Mathematical Society, 351(8):3119–3141, 1999. MATHCrossRefMathSciNetGoogle Scholar
  31. [31]
    Ernest Schimmerling and Martin Zeman. Square in core models. The Bulletin of Symbolic Logic, 7(3):305–314, 2001. MATHCrossRefMathSciNetGoogle Scholar
  32. [32]
    Ernest Schimmerling and Martin Zeman. Cardinal transfer properties in extender models. Annals of Pure and Applied Logic, 154:163–190, 2008. MATHCrossRefMathSciNetGoogle Scholar
  33. [33]
    Ralf Schindler. The core model for almost linear iterations. Annals of Pure and Applied Logic, 116(1–3):205–272, 2002. MATHCrossRefMathSciNetGoogle Scholar
  34. [34]
    Ralf Schindler. Mutual stationarity in the core model. In Matthias Baaz, Sy D. Friedman, and Jan Krajiček, editors, Logic Colloquium ’01, volume 20 of Lecture Notes in Logic, pages 386–401. Association for Symbolic Logic, Urbana, 2005. Google Scholar
  35. [35]
    Ralf Schindler. Bounded Martin’s Maximum and strong cardinals. In Joan Bagaria and Stevo Todorcevic, editors, Set Theory. Centre de recerca Matematica, Barcelona 2003–2004. Trends in Mathematics. Birkhäuser, Basel, 2006. Google Scholar
  36. [36]
    Ralf Schindler. Iterates of the core model. The Journal of Symbolic Logic, 71(1):241–251, 2006. MATHCrossRefMathSciNetGoogle Scholar
  37. [37]
    Ralf Schindler and Martin Zeman. Fine structure. Chapter 9 in this Handbook.  10.1007/978-1-4020-5764-9_10
  38. [38]
    Ralf Schindler, John R. Steel, and Martin Zeman. Deconstructing inner model theory. The Journal of Symbolic Logic, 67(2):721–736, 2002. MATHCrossRefMathSciNetGoogle Scholar
  39. [39]
    Saharon Shelah. Semiproper forcing axiom implies Martin Maximum but not PFA+. The Journal of Symbolic Logic, 52(2):360–367, 1987. MATHCrossRefMathSciNetGoogle Scholar
  40. [40]
    Saharon Shelah and W. Hugh Woodin. Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable. Israel Journal of Mathematics, 70(3):381–394, 1990. MATHCrossRefMathSciNetGoogle Scholar
  41. [41]
    John R. Steel. An outline of inner model theory. Chapter 19 in this Handbook.  10.1007/978-1-4020-5764-9_20
  42. [42]
    John R. Steel. The Core Model Iterability Problem, volume 8 of Lecture Notes in Logic. Springer, Berlin, 1996. MATHGoogle Scholar
  43. [43]
    John R. Steel. Core models with more Woodin cardinals. The Journal of Symbolic Logic, 67(3):1197–1226, 2002. MATHCrossRefMathSciNetGoogle Scholar
  44. [44]
    John R. Steel. PFA implies ADL(ℝ). The Journal of Symbolic Logic, 70(4):1255–1296, 2005. MATHCrossRefMathSciNetGoogle Scholar
  45. [45]
    John R. Steel and Stuart Zoble. On the strength of some consequences of stationary reflection. Google Scholar
  46. [46]
    Stevo Todorcevic. Coherent sequences. Chapter 3 in this Handbook.  10.1007/978-1-4020-5764-9_4
  47. [47]
    Stevo Todorcevic. A note on the Proper Forcing Axiom. In James E. Baumgartner, Donald A. Martin, and Saharon Shelah, editors, Axiomatic Set Theory (Boulder, CO, 1983), volume 31 of Contemporary Mathematics, pages 209–218. American Mathematical Society, Providence, 1984. Google Scholar
  48. [48]
    Boban Velickovic. Forcing axioms and stationary sets. Advances in Mathematics, 94(2):256–284, 1992. MATHCrossRefMathSciNetGoogle Scholar
  49. [49]
    W. Hugh Woodin. Some consistency results in ZFC using AD. In Alexander S. Kechris, Donald A. Martin, and Yiannis N. Moschovakis, editors, Cabal Seminar 79–81, volume 1019 of Lecture Notes in Mathematics, pages 172–198. Springer, Berlin, 1983. CrossRefGoogle Scholar
  50. [50]
    W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences USA, 85(18):6587–6591, 1988. MATHCrossRefMathSciNetGoogle Scholar
  51. [51]
    W. Hugh Woodin. The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, volume 1 of de Gruyter Series in Logic and its Applications. de Gruyter, Berlin, 1999. MATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of MathematicsCarnegie Mellon UniversityPittsburgUSA

Personalised recommendations