Fine Structure

  • Ralf SchindlerEmail author
  • Martin Zeman


The chapter on fine structure theory presents an abstract approach to fine structure theory of acceptable structures. No prerequisities are assumed except basic set-theoretic background, so the chapter may be considered an introductory text into the subject for a broad audience. Apart from this, the text is intended to be a prerequisite to Handbook chapters “Covering Lemma” by W. Mitchell and “Outline of Inner Model Theory” by J. Steel. The presentation of the material reflects this intention. The material covered in the chapter includes basic facts about acceptable structures, detailed treatment of projecta, standard codes and reducts, and extensions of embeddings theorems. At the end of the chapter two classical applications of the theory are sketched: Jensen’s construction of a square sequence in L and his proof of the Covering Lemma for L.


Core Model Proper Class Limit Ordinal Downward Extension Covering Lemma 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Keith J. Devlin. Constructibility. Springer, Berlin, 1984. zbMATHGoogle Scholar
  2. [2]
    Keith J. Devlin and Ronald B. Jensen. Marginalia to a theorem of Silver. In Logic Conference, Kiel 1974, volume 499 of Lecture Notes in Mathematics, pages 115–142. Springer, Berlin, 1975. CrossRefGoogle Scholar
  3. [3]
    Ronald B. Jensen. The fine structure of the constructible hierarchy. Annals of Mathematical Logic, 4:229–308, 1972. zbMATHCrossRefGoogle Scholar
  4. [4]
    Ronald B. Jensen. A new fine structure theory for higher core models, 1997. Handwritten notes. Google Scholar
  5. [5]
    William J. Mitchell. The covering lemma. Chapter 18 in this Handbook.  10.1007/978-1-4020-5764-9_19.
  6. [6]
    William J. Mitchell and Ralf Schindler. A universal extender model without large cardinals in V. The Journal of Symbolic Logic, 69(2):371–386, 2004. zbMATHCrossRefMathSciNetGoogle Scholar
  7. [7]
    William J. Mitchell and John R. Steel. Fine Structure and Iteration Trees, volume 3 of Lecture Notes in Logic. Springer, Berlin, 1994. zbMATHGoogle Scholar
  8. [8]
    William J. Mitchell, Ernest Schimmerling, and John R. Steel. The covering lemma up to a Woodin cardinal. Annals of Pure and Applied Logic, 84:219–255, 1994. CrossRefMathSciNetGoogle Scholar
  9. [9]
    Ernest Schimmerling. A core model toolbox and guide. Chapter 20 in this Handbook.  10.1007/978-1-4020-5764-9_21.
  10. [10]
    Ernest Schimmerling and Martin Zeman. A characterization of κ in core models. Journal of Mathematical Logic, 4:1–72, 2004. zbMATHCrossRefMathSciNetGoogle Scholar
  11. [11]
    Ralf Schindler. The core model for almost linear iterations. Annals of Pure and Applied Logic, 116:205–272, 2002. zbMATHCrossRefMathSciNetGoogle Scholar
  12. [12]
    John R. Steel. An outline of inner model theory. Chapter 19 in this Handbook.  10.1007/978-1-4020-5764-9_20.
  13. [13]
    John R. Steel. The Core Model Iterability Problem, volume 8 of Lecture Notes in Logic. Springer, Berlin, 1996. zbMATHGoogle Scholar
  14. [14]
    Philip D. Welch. Σ* fine structure. Chapter 10 in this Handbook.  10.1007/978-1-4020-5764-9_11.
  15. [15]
    Martin Zeman. Inner Models and Large Cardinals, volume 5 of de Gruyter Series in Logic and Its Applications. de Gruyter, Berlin, 2002. Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Institut für mathematische Logik und GrundlagenforschungUniversität MünsterMünsterGermany
  2. 2.Department of MathematicsUniversity of California at IrvineIrvineUSA

Personalised recommendations