zbMATH — the first resource for mathematics

Constructibility. Reprint of the 1984 original published by Springer. (English) Zbl 1365.03005
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16835-0/hbk; 978-1-316-71721-9/ebook). xi, 425 p. (2016).
Publisher’s description: In this volume Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the \(L_\alpha\)-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the \(J_\alpha\)-hierarchy and the Jensen ‘fine-structure theory’.
See the review of the 1984 original in [Zbl 0542.03029].

03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E45 Inner models, including constructibility, ordinal definability, and core models
03E05 Other combinatorial set theory
03E25 Axiom of choice and related propositions
03E35 Consistency and independence results
03E55 Large cardinals
03E50 Continuum hypothesis and Martin’s axiom
Full Text: DOI