Internal Consistency and the Inner Model Hypothesis

DOI10.2178/BSL/1164056808MaRDI QIDQ5754718zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 23 August 2007

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

Full work available at URL https://projecteuclid.org/euclid.bsl/1164056808, https://semanticscholar.org/paper/e93393bd53e719d8c85f264197df7a6457b607bc

zbMATH Keywords

class forcingconsistencyEaston's Theoremforcinginner model hypothesisinner modelsinternal consistencylarge cardinalsmeasurable cardinalsingular cardinal hypothesissurvey paperWoodin cardinal

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)

Recommendations

• On the consistency strength of the inner model hypothesis
• Internal consistency for embedding complexity
• The internal consistency of Easton's theorem
• Generalisations of Gödel's universe of constructible sets
• Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)

Cites work

• A simple maximality principle
• Co-stationarity of the ground model
• scientific article; zbMATH DE number 3733900 (Why is no real title available?)
• New \Sigma ^1_3 facts
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)

Cited in

(25)

• Maximality and ontology: how axiom content varies across philosophical frameworks
• Inner-model reflection principles
• Forcing and the universe of sets: must we lose insight?
• Set-theoretic geology
• On strong forms of reflection in set theory
• The set-theoretic multiverse
• 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 the consistency strength of the inner model hypothesis
• Internal consistency and global co-stationarity of the ground model
• Internal consistency for embedding complexity
• Inner models with large cardinal features usually obtained by forcing
• Natural internal forcing schemata extending ZFC: Truth in the universe?
• Foundational implications of the inner model hypothesis
• Universism and extensions of \(V\)
• The implicitly constructible universe
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• Is (un)countabilism restrictive?
• On Recurrence Axioms
• Maximality principles in the hyperuniverse programme
• Reflection and recurrence
• The internal consistency of Easton's theorem

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

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