The hyperuniverse program

DOI10.2178/bsl.1901030zbMath1307.03003OpenAlexW2120228804MaRDI QIDQ2837763

Tatiana Arrigoni, Sy-David Friedman

Publication date: 11 July 2013

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

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

zbMATH Keywords

multiverseindependencelarge cardinalsphilosophy of mathematicsset-theoretic truthZFC extensions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65) Properties of classes of models (03C52)

Related Items (21)

Interview With a Set Theorist ⋮ Maddy On The Multiverse ⋮ Set-theoretic foundations ⋮ Hierarchical multiverse of sets ⋮ Forcing and the universe of sets: must we lose insight? ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ Forcing, Multiverse and Realism ⋮ Multiverse Conceptions in Set Theory ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ On the Set-Generic Multiverse ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Multiverse conceptions in set theory ⋮ Set-theoretic blockchains ⋮ An indeterminate universe of sets ⋮ Can we resolve the continuum hypothesis? ⋮ 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 ⋮ Infinite forcing and the generic multiverse ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics

Cites Work

• Foundational implications of the inner model hypothesis
• Fine structure and class forcing
• On the role of supercompact and extendible cardinals in logic
• THE SET-THEORETIC MULTIVERSE
• On the consistency strength of the inner model hypothesis
• Logical dreams
• On reflection principles
• Unnamed Item
• Unnamed Item

This page was built for publication: The hyperuniverse program