Inner Models and Large Cardinals

DOI10.2307/421129MaRDI QIDQ4873891zbMATH OpenOpenAlexWikidataFDO

Authors Ronald Jensen

Publication date 15 August 1996

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

Full work available at URL https://semanticscholar.org/paper/a11899f38b0133f68fec1f016824e07f4af781fc, http://www.math.ucla.edu/~asl/bsl/0104-toc.htm

zbMATH Keywords

forcinglarge cardinalsinner modelsWoodin cardinalsconstructible universehistorical surveymouseaxiom of determinacycore modelcumulative hierarchyNewtonismPythagoreism

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(14)

• Moral epistemology: the mathematics analogy
• Regular Cardinals in Models of ZF
• The core model for almost linear iterations
• Explaining maximality through the hyperuniverse programme
• An axiomatic theory of well-orderings
• scientific article; zbMATH DE number 65734 (Why is no real title available?)
• Large cardinals, inner models, and determinacy: an introductory overview
• On -Strongly Measurable Cardinals
• scientific article; zbMATH DE number 1420860 (Why is no real title available?)
• Inner models in the region of a Woodin limit of Woodin cardinals
• Foundational implications of the inner model hypothesis
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Hierarchical multiverse of sets
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L

This page was built for publication: Inner Models and Large Cardinals

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