Inner Models and Large Cardinals

DOI10.2307/421129zbMATH Open0843.03029OpenAlexW2101564260WikidataQ29999642 ScholiaQ29999642MaRDI QIDQ4873891FDOQ4873891

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

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

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

Cited In (14)

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

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)