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)

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)