Inner Models and Large Cardinals

DOI10.2307/421129zbMath0843.03029OpenAlexW2101564260WikidataQ29999642 ScholiaQ29999642MaRDI QIDQ4873891

R. B. Jensen

Publication date: 15 August 1996

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

Full work available at URL: https://semanticscholar.org/paper/a11899f38b0133f68fec1f016824e07f4af781fc

zbMATH Keywords

forcinghistorical surveylarge cardinalscore modelinner modelsWoodin cardinalsconstructible universemouseaxiom of determinacycumulative hierarchyNewtonismPythagoreism

Mathematics Subject Classification ID

Development of contemporary mathematics (01A65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) History of mathematical logic and foundations (03-03)

Related Items

On -Strongly Measurable Cardinals ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Hierarchical multiverse of sets ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Foundational implications of the inner model hypothesis ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Moral Epistemology: The Mathematics Analogy ⋮ AN AXIOMATIC THEORY OF WELL-ORDERINGS ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ The core model for almost linear iterations

Cites Work

• Set theory. An introduction to independence proofs
• Set theory. An introduction to large cardinals
• Inner models with many Woodin cardinals