On the consistency strength of the inner model hypothesis

DOI10.2178/jsl/1208359050zbMath1148.03035OpenAlexW2026632409MaRDI QIDQ3503744

W. Hugh Woodin, Philip D. Welch, Sy-David Friedman

Publication date: 9 June 2008

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.315.4506

zbMATH Keywords

Mitchell orderWoodin cardinalInner Model HypothesisStrong Inner Model Hypothesis

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items

THE SET-THEORETIC MULTIVERSE ⋮ Foundational implications of the inner model hypothesis ⋮ Multiverse Conceptions in Set Theory ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ On Strong Forms of Reflection in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Multiverse conceptions in set theory ⋮ On strong forms of reflection in set theory ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The hyperuniverse program ⋮ UNIVERSISM AND EXTENSIONS OF V

Cites Work

• Descriptive set theory
• Fine structure and class forcing
• New $\Sigma ^1_3$ facts
• Internal Consistency and the Inner Model Hypothesis
• Unnamed Item