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

DOI10.1017/s1755020321000447arXiv2011.14724OpenAlexW3196927481MaRDI 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 cardinalsforcing axiomsnew axiomsset-theoretic multiverseset-theoretic geologyuniversismultimate-L

Mathematics Subject Classification ID

Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

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