The hyperuniverse program

DOI10.2178/BSL.1901030MaRDI QIDQ2837763zbMATH OpenOpenAlexFDO

Authors 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

independencelarge cardinalsmultiversephilosophy of mathematicsset-theoretic truthZFC extensions

Mathematics Subject Classification ID

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

Review text

The hyperuniverse program is a new approach toward reasonable extensions of the standard set theory ZFC aimed to settle certain ZFC-unsolvable problems. This program might be seen as a modification of the multiverse idea of \textit{J. D. Hamkins} [Rev. Symb. Log. 5, No. 3, 416--449 (2012; Zbl 1260.03103)]. The core idea is (i) to look at the class of all countable transitive models of ZFC and to concentrate on a certain subclass of them, the preferred ones, and (ii) to consider the class of first-order sentences true in all preferred models as the ``most suitable extension of ZFC.NEWLINENEWLINEOf course, the core point here is the choice of the preferred models. The authors give a clear explanation of their approach together with a historical motivation, and a more philosophically oriented discussion concerning reasonable principles to single out the preferred models.NEWLINENEWLINEThe paper is clearly written and marks well the crucial methodological and philosophical decisions the hyperuniverse program is based upon.

Recommendations

• The search for new axioms in the hyperuniverse programme
• The hyperuniverse project and maximality
• The search for new axioms in the hyperuniverse programme
• Multiverse conceptions in set theory
• Explaining maximality through the hyperuniverse programme

Cites work

• Fine structure and class forcing
• Foundational implications of the inner model hypothesis
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 3232730 (Why is no real title available?)
• Logical dreams
• On reflection principles
• On the consistency strength of the inner model hypothesis
• On the role of supercompact and extendible cardinals in logic
• The set-theoretic multiverse

Cited in

(29)

• Choice principles in hyperuniverses
• An indeterminate universe of sets
• Can we resolve the continuum hypothesis?
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Forcing and the universe of sets: must we lose insight?
• Set-theoretic blockchains
• Infinite forcing and the generic multiverse
• The set-theoretic multiverse
• 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
• The hyperuniverse project and maximality
• Universism and extensions of \(V\)
• The significance of relativistic computation for the philosophy of mathematics
• Multiverse conceptions in set theory
• Oracle questions
• Set-theoretic foundations
• A reconstruction of Steel's multiverse project
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• Interview With a Set Theorist
• Maddy On The Multiverse
• New axioms in set theory
• Hierarchical multiverse of sets
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Maximality principles in the hyperuniverse programme
• Language, models, and reality: weak existence and a threefold correspondence

This page was built for publication: The hyperuniverse program

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