STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L

DOI10.1017/s1755020321000447arXiv2011.14724MaRDI QIDQ6051424

Claudio Ternullo, Joan Bagaria

Publication date: 20 September 2023

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

Full work available at URL: https://arxiv.org/abs/2011.14724

zbMATH Keywords

large cardinals; forcing axioms; new axioms; set-theoretic multiverse; set-theoretic geology; universism; ultimate-L

Mathematics Subject Classification ID

03E55: Large cardinals

03E65: Other set-theoretic hypotheses and axioms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiverse conceptions in set theory
• Extendible cardinals and the mantle
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Elementary chains and \(C ^{(n)}\)-cardinals
• Set-theoretic geology
• THE SET-THEORETIC MULTIVERSE
• Multiversism and Concepts of Set: How Much Relativism Is Acceptable?
• The ground axiom is consistent with V $\neq $ HOD
• Believing the axioms. II
• Laver indestructibility and the class of compact cardinals
• The downward directed grounds hypothesis and very large cardinals
• Philosophy and Model Theory
• Set Theory
• Inner Models and Large Cardinals
• Separating stationary reflection principles
• Inner mantles and iterated HOD
• LARGE CARDINALS BEYOND CHOICE
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• Set-theoretic foundations
• The ground axiom
• What is Cantor's Continuum Problem?
• A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• Multiple universes of sets and indeterminate truth values