The set-theoretic multiverse

DOI10.1017/S1755020311000359zbMATH Open1260.03103arXiv1108.4223OpenAlexW1972672801WikidataQ56813204 ScholiaQ56813204MaRDI QIDQ2919945FDOQ2919945

Authors: Joel David Hamkins 

Publication date: 23 October 2012

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

Abstract: The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous diversity of set-theoretic possibilities, a phenomenon that challenges the universe view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for.

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

Recommendations

• The set-theoretic multiverse: a natural context for set theory
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• Forcing, Multiverse and Realism
• The hyperuniverse program
• Multiverse conceptions in set theory

zbMATH Keywords

multiverseforcingcontinuum hypothesisaxiom of constructibility

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Set theory (03E99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Provability interpretations of modal logic
• Axioms of symmetry: Throwing darts at the real number line
• Certain very large cardinals are not created in small forcing extensions
• The ground axiom
• Internal Consistency and the Inner Model Hypothesis
• Extensions with the approximation and cover properties have no new large cardinals
• On the consistency strength of the inner model hypothesis
• The modal logic of forcing
• A simple maximality principle
• Multiple universes of sets and indeterminate truth values
• A natural model of the multiverse axioms
• The ground axiom is consistent with V $\neq $ HOD

Cited In (56)

• Maximal ideals in countable rings, constructively
• BI-INTERPRETATION IN WEAK SET THEORIES
• Infinite populations, choice and determinacy
• The set-theoretic multiverse as a mathematical plenitudinous Platonism viewpoint
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• Infinite forcing and the generic multiverse
• Feferman on set theory: infinity up on trial
• Universism and extensions of \(V\)
• THE COPERNICAN MULTIVERSE OF SETS
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• An indeterminate universe of sets
• Multiverse set theory and absolutely undecidable propositions
• On the set-generic multiverse
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• On the absoluteness of \(\aleph_1\)-freeness
• Forcing revisited
• The hyperuniverse program
• RAMSIFICATION AND SEMANTIC INDETERMINACY
• A reconstruction of Steel's multiverse project
• Multiverse conceptions in set theory
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• Interview With a Set Theorist
• Maddy On The Multiverse
• The continuum hypothesis, the generic-multiverse of sets, and the \(\Omega\) conjecture
• Some Second Order Set Theory
• Multiversism and concepts of set: how much relativism is acceptable?
• Set Theory and Structures
• Can we resolve the continuum hypothesis?
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Indeterminateness and ``the universe of sets: multiversism, potentialism, and pluralism
• Forcing, Multiverse and Realism
• The significance of relativistic computation for the philosophy of mathematics
• Naive infinitism: the case for an inconsistency approach to infinite collections
• The set-theoretic multiverse: a natural context for set theory
• Isomorphism invariance and overgeneration
• Infinitesimal analysis without the axiom of choice
• Category Theory and Philosophy
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• Exploring mathematical objects from custom-tailored mathematical universes
• Structural relativity and informal rigour
• Multiverse conceptions in set theory
• Forcing and the universe of sets: must we lose insight?
• What can a categoricity theorem tell us?
• Is the dream solution of the continuum hypothesis attainable?
• Set-theoretic foundations
• Arithmetic is determinate
• Intellectual humility in mathematics
• INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
• A classical way forward for the regularity and normalization problems
• Mathematical modality: an investigation in higher-order logic
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
• Conventionalism about mathematics and logic
• Of marriage and mathematics: inferentialism and social ontology
• Hierarchical multiverse of sets
• VARIETIES OF CLASS-THEORETIC POTENTIALISM

This page was built for publication: The set-theoretic multiverse

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919945)