## 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).

Originally published in S. Friedman, S. Fuchino, H. Sakai, On the set-generic multiverse, in *Sets and Computations*. IMS Lecture Notes Series, vol. 33 (Institute of Mathematical Sciences, National University of Singapore, Singapore, 2017), pp. 25–44.

### Similar content being viewed by others

## Notes

- 1.
In the terminology of [8],

*M*is a ground of*V*. - 2.
Tadatoshi Miyamoto told us that James Baumgartner independently proved this theorem in an unpublished note using infinitary logic.

- 3.
*M*[*A*] may be defined by*M*[*A*] =⋃_{ α ∈ On}*L*(*V**αM*∪{*A*}).*M*[*A*] is a model of ZF: this can be seen easily e.g. by applying Theorem 13.9 in [13]. If*M*also satisfies AC then*M*[*A*] satisfies AC as well since, in this case, it is easy to see that a well-ordering of (*V*_{ α })^{M}∪{*A*} belongs to*M*[*A*] for all*α*∈ On. - 4.
More precisely, we assume that ZF proves the correctness of ⊢.

## References

T. Arrigoni, S.-D. Friedman, Foundational implications of the inner model hypothesis. Ann. Pure Appl. Logic

**163**, 1360–1366 (2012)T. Arrigoni, S.-D. Friedman, The hyperuniverse program. Bull. Symb. Log.

**19**(1), 77–96 (2013)L. Bukovský, Characterization of generic extensions of models of set theory. Fundam. Math.

**83**, 35–46 (1973)L. Bukovský, Generic Extensions of Models of ZFC, a lecture note of a talk at the Novi Sad Conference in Set Theory and General Topology, Novi Sad, August 18–21 (2014)

S.-D. Friedman, Strict genericity, in

*Models, Algebras and Proofs*. Proceedings of the 1995 Latin American Logic Symposium (1999), pp. 129–139S.-D. Friedman,

*Fine Structure and Class Forcing*, de Gruyter Series in Logic and Its Applications, vol. 3 (Walter de Gruyter, Berlin, 2000)S.-D. Friedman, Internal consistency and the inner model hypothesis. Bull. Symb. Log.

**12**(4), 591–600 (2006)G. Fuchs, J.D. Hamkins, J. Reitz, Set theoretic geology. Ann. Pure Appl. Logic

**166**(4), 464–501 (2015)V. Gitman, J. Hamkins, A natural model of the multiverse axioms. Nortre Dame J. Formal Logic

**51**(4), 475–484 (2010)S. Grigorieff, Intermediate submodels and generic extensions in set theory. Ann. Math. Second Series

**101**(3), 447–490 (1975)J.D. Hamkins, The set-theoretical multiverse. Rev. Symb. Log.

**5**, 416–449 (2012)J.D. Hamkins, B. Löwe, The modal logic of forcing. Trans. Am. Math. Soc.

**360**(4), 1793–1817 (2008)T. Jech,

*Set Theory*, The Third Millennium Edition (Springer, Berlin, 2001/2006)C. Karp,

*Languages with Expressions of Infinite Length*(North-Holland, Amsterdam, 1964)H.J. Keisler,

*Model Theory for Infinitary Logic*(North-Holland, Amsterdam, 1974)K. Kunen,

*Set Theory, An Introduction to Independence Proofs*(North-Holland, Amsterdam, 1980)R. Laver, Certain very large cardinals are not created in small forcing extensions. Ann. Pure Appl. Logic

**149**, 1–6 (2007)C.J. Rittberg, On the modal logic of forcing. Diploma Thesis (2010)

J.R. Steel, Gödel’s program, in

*Interpreting Gödel: Critical Essays*, ed. by J. Kennedy (Cambridge University Press, Cambridge, 2014), pp. 153–179G. Takeuti,

*Proof Theory*, 2nd edn. (North-Holland, Amsterdam, 1987)T. Usuba, The downward directed grounds hypothesis and very large cardinals, preprint

J. Väänaän, Multiverse set theory and absolutely undecidable propositions, in

*Interpreting Gödel: Critical Essays*, ed. by J. Kennedy (Cambridge University Press, Cambridge, 2014), pp. 180–208W.H. Woodin, Recent developments on Cantor’s continuum hypothesis, in

*Proceedings of the Continuum in Philosophy and Mathematics, 2004*, Carlsberg Academy, Copenhagen, November (2004)W.H. Woodin, The realm of the infinite, in

*Infinity: New Research Frontiers*, ed. by M. Heller, W.H. Woodin (Cambridge University Press, Cambridge, 2011)

## Acknowledgements

The first author would like to thank the FWF (Austrian Science Fund) for its support through project number P 28420.

The second author is supported by Grant-in-Aid for Scientific Research (C) No. 21540150 and Grant-in-Aid for Exploratory Research No. 26610040 of the Ministry of Education, Culture, Sports, Science and Technology Japan (MEXT).

The third author is supported by Grant-in-Aid for Young Scientists (B) No. 23740076 of the Ministry of Education, Culture, Sports, Science and Technology Japan (MEXT).

## Author information

### Authors and Affiliations

### Corresponding author

## Editor information

### Editors and Affiliations

## Rights and permissions

## Copyright information

© 2018 Springer International Publishing AG

## About this chapter

### Cite this chapter

Friedman, SD., Fuchino, S., Sakai, H. (2018). On the Set-Generic Multiverse. In: Antos, C., Friedman, SD., Honzik, R., Ternullo, C. (eds) The Hyperuniverse Project and Maximality. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-62935-3_5

### Download citation

DOI: https://doi.org/10.1007/978-3-319-62935-3_5

Published:

Publisher Name: Birkhäuser, Cham

Print ISBN: 978-3-319-62934-6

Online ISBN: 978-3-319-62935-3

eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)