On the Set-Generic Multiverse

Sy-David Friedman (), Sakaé Fuchino () and Hiroshi Sakai ()
Additional contact information
Sy-David Friedman: University of Vienna, Kurt Gödel Research Center for Mathematical Logic
Sakaé Fuchino: Kobe University, Graduate School of System Informatics
Hiroshi Sakai: Kobe University, Graduate School of System Informatics

A chapter in The Hyperuniverse Project and Maximality, 2018, pp 109-124 from Springer

Abstract: 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ý’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 Sects. 2 and 3 of this note, we give a proof of Bukovsky’s theorem in a modern setting (for another proof of this theorem see Bukovský (Generic Extensions of Models of ZFC, a lecture note of a talk at the Novi Sad Conference in Set Theory and General Topology, 2014)). In Sect. 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 Hamkins and Loewe (Trans. Am. Math. Soc. 360(4):1793–1817, 2008).

Date: 2018
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-62935-3_5

Ordering information: This item can be ordered from
http://www.springer.com/9783319629353

DOI: 10.1007/978-3-319-62935-3_5

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().