A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT

DOI10.1017/bsl.2020.5zbMath1477.03012OpenAlexW3035387947MaRDI QIDQ5857719

Toby Meadows, Penelope J. Maddy

Publication date: 7 April 2021

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

Full work available at URL: https://doi.org/10.1017/bsl.2020.5

zbMATH Keywords

forcinglarge cardinalsset theorycontinuum hypothesisfoundations of mathematicsphilosophy of mathematicsgeneric multiverse

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other set-theoretic hypotheses and axioms (03E65)

Related Items (2)

STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Can you take Solovay's inaccessible away?
• Set theory. An introduction to independence proofs
• Fine structure and class forcing
• Measurable cardinals and the continuum hypothesis
• Set-theoretic geology
• A model of set-theory in which every set of reals is Lebesgue measurable
• THE SET-THEORETIC MULTIVERSE
• Large Cardinals from Determinacy
• Handbook of Set Theory
• Precipitous ideals
• The downward directed grounds hypothesis and very large cardinals
• Set Theory
• Ordinal definability in models of determinacy. Introduction to Part V
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• Set-theoretic foundations
• Forcing for Mathematicians
• The ground axiom
• Defending the Axioms

This page was built for publication: A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT