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

independencemultiverselarge cardinalsphilosophy of mathematicsset-theoretic truthZFC extensions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Properties of classes of models (03C52) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) 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

• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• scientific article; zbMATH DE number 3232730 (Why is no real title available?)
• Fine structure and class forcing
• Foundational implications of the inner model hypothesis
• 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

(26)

• Set-theoretic foundations
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Oracle questions
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• Set-theoretic blockchains
• New axioms in set theory
• Infinite forcing and the generic multiverse
• Universism and extensions of \(V\)
• An indeterminate universe of sets
• On the set-generic multiverse
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• The set-theoretic multiverse
• A reconstruction of Steel's multiverse project
• The hyperuniverse project and maximality
• Multiverse conceptions in set theory
• Interview With a Set Theorist
• Maddy On The Multiverse
• Explaining maximality through the hyperuniverse programme
• Can we resolve the continuum hypothesis?
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Forcing, Multiverse and Realism
• The significance of relativistic computation for the philosophy of mathematics
• Multiverse conceptions in set theory
• Forcing and the universe of sets: must we lose insight?
• Hierarchical multiverse of sets

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)