Core models

DOI10.2307/2273323MaRDI QIDQ3318772zbMATH OpenOpenAlexFDO

Authors A. J. Dodd

Publication date 1983

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273323

zbMATH Keywords

core modelslarge cardinalssingular cardinal

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other notions of set-theoretic definability (03E47) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Recommendations

• scientific article; zbMATH DE number 1390274
• The core model for almost linear iterations
• scientific article; zbMATH DE number 733389
• An outline of inner model theory
• scientific article; zbMATH DE number 994189

Cites work

• On the singular cardinals problem. I
• Powers of regular cardinals
• Some applications of model theory in set theory
• The core model
• The fine structure of the constructible hierarchy
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(19)

• Some applications of short core models
• On the free subset property at singular cardinals
• Is there a set of reals not in \(K(\mathbb{R})\)?
• The consistency strength of projective absoluteness
• Observations about Scott and Karp trees
• More on the cut and choose game
• \(\Pi_ 2^ 1\) Wadge degrees
• Determinacy in the difference hierarchy of co-analytic sets
• Projective uniformization revisited
• On the consistency strength of the Milner-Sauer conjecture
• Square in core models
• A Core Model Toolbox and Guide
• Large Cardinals and Small Dowker Spaces
• Strong cardinals in the core model
• Forcing absoluteness and regularity properties
• The covering lemma up to a Woodin cardinal
• Standard-model bundles
• Origin and development of the theory of coremodels. I
• Some principles related to Chang's conjecture

This page was built for publication: Core models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318772)