zbMATH — the first resource for mathematics

Fine structure. (English) Zbl 1198.03069
Foreman, Matthew (ed.) et al., Handbook of set theory. In 3 volumes. Dordrecht: Springer (ISBN 978-1-4020-4843-2/hbk; 978-1-4020-5764-9/ebook). 605-656 (2010).
Summary: 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\).
See also the review of the complete volume [Zbl 1197.03001].
For the entire collection see [Zbl 1197.03001].

03E45 Inner models, including constructibility, ordinal definability, and core models
Full Text: DOI