Internal Consistency and the Inner Model Hypothesis

DOI10.2178/bsl/1164056808zbMath1134.03029OpenAlexW1973796507MaRDI QIDQ5754718

Sy-David Friedman

Publication date: 23 August 2007

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

Full work available at URL: https://projecteuclid.org/euclid.bsl/1164056808

zbMATH Keywords

consistencyforcingmeasurable cardinalsurvey paperlarge cardinalsclass forcinginner modelsinternal consistencysingular cardinal hypothesisinner model hypothesisWoodin cardinalEaston's Theorem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Related Items (19)

THE SET-THEORETIC MULTIVERSE ⋮ Inner-model reflection principles ⋮ On the consistency strength of the inner model hypothesis ⋮ Internal consistency and global co-stationarity of the ground model ⋮ Inner models with large cardinal features usually obtained by forcing ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Foundational implications of the inner model hypothesis ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ On the Set-Generic Multiverse ⋮ On Strong Forms of Reflection in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ On strong forms of reflection in set theory ⋮ The internal consistency of Easton's theorem ⋮ Set-theoretic geology ⋮ Internal consistency for embedding complexity ⋮ Maximality and ontology: how axiom content varies across philosophical frameworks ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ UNIVERSISM AND EXTENSIONS OF V

Cites Work

• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• A simple maximality principle
• Co-stationarity of the ground model
• New $\Sigma ^1_3$ facts
• Unnamed Item

This page was built for publication: Internal Consistency and the Inner Model Hypothesis