Multiverse conceptions in set theory

DOI10.1007/s11229-015-0819-9zbMath1369.03024OpenAlexW1435886270MaRDI QIDQ510715

Carolin Antos, Claudio Ternullo, Sy-David Friedman, Radek Honzík

Publication date: 14 February 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0819-9

zbMATH Keywords

set theoryhyperuniverse programmenew axioms of set theoryset-theoretic multiverseuniverse of sets

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Ideal objects for set theory ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Maddy On The Multiverse ⋮ Hierarchical multiverse of sets ⋮ Forcing and the universe of sets: must we lose insight? ⋮ \(\mathsf{ZF}\) and its interpretations ⋮ Intellectual humility in mathematics ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ Second order arithmetic as the model companion of set theory ⋮ Forcing, Multiverse and Realism ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ 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 ⋮ UNIVERSISM AND EXTENSIONS OF V

Cites Work

• Set theory. An introduction to independence proofs
• A Platonist epistemology.
• Does Mathematics Need New Axioms?
• On strong forms of reflection in set theory
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• On the consistency strength of the inner model hypothesis
• Models and reality
• On the Philosophical Development of Kurt Gödel
• Is Cantor's Continuum Problem Inherently Vague?
• Logical dreams
• THE POTENTIAL HIERARCHY OF SETS
• What is Cantor's Continuum Problem?
• Does Mathematics Need New Axioms?
• Defending the Axioms
• On reflection principles
• Objectivity over objects: A case study in theory formation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item