On the set-generic multiverse

DOI10.1007/978-3-319-62935-3_5MaRDI QIDQ3305408zbMATH OpenOpenAlexFDO

Authors Sakaé Fuchino, Hiroshi Sakai, Sy-David Friedman

Publication date 7 August 2020

Published in The Hyperuniverse Project and Maximality (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovsk'y's theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory. In sections 2 and 3 of this note, we give a proof of Bukovsk'y's theorem in a modern setting (for another proof of this theorem see Bukovsk'y [4]). In section 4 we check that the multiverse of set-generic extensions can be treated as a collection of countable transitive models in a conservative extension of ZFC. The last section then deals with the problem of the existence of infinitely-many independent buttons, which arose in the modal-theoretic approach to the set-generic multiverse by J.Hamkins and B.Loewe [12].

Recommendations

• On the set-generic multiverse
• Infinite forcing and the generic multiverse
• Set-theoretic blockchains
• Moving up and down in the generic multiverse
• Forcing, Multiverse and Realism

Cites work

• A natural model of the multiverse axioms
• Certain very large cardinals are not created in small forcing extensions
• Characterization of generic extensions of models of set theory
• Fine structure and class forcing
• Foundational implications of the inner model hypothesis
• Gödel's program
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• Intermediate submodels and generic extensions in set theory
• Internal Consistency and the Inner Model Hypothesis
• Multiverse set theory and absolutely undecidable propositions
• Proof theory. 2nd ed
• Set theory. An introduction to independence proofs
• Set-theoretic geology
• The downward directed grounds hypothesis and very large cardinals
• The hyperuniverse program
• The modal logic of forcing
• The set-theoretic multiverse

Cited in

(10)

• Set-theoretic blockchains
• Infinite forcing and the generic multiverse
• Multiversality
• Moving up and down in the generic multiverse
• Generic extensions of models of ZFC
• Universism and extensions of \(V\)
• Against the countable transitive model approach to forcing
• On the set-generic multiverse
• The long extender algebra
• The uniqueness of elementary embeddings

This page was built for publication: On the set-generic multiverse

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