-
V. Gitman and J. D. Hamkins, “A natural model of the multiverse axioms,” Notre Dame Journal of Formal Logic, vol. 51, iss. 4, p. 475–484, 2010.
[Bibtex]@ARTICLE{GitmanHamkins2010:NaturalModelOfMultiverseAxioms, AUTHOR = {Gitman, Victoria and Hamkins, Joel David}, TITLE = {A natural model of the multiverse axioms}, JOURNAL = {Notre Dame Journal of Formal Logic}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {51}, YEAR = {2010}, NUMBER = {4}, PAGES = {475--484}, ISSN = {0029-4527}, MRCLASS = {03E40}, MRNUMBER = {2741838}, DOI = {10.1215/00294527-2010-030}, URL = {http://wp.me/p5M0LV-3I}, eprint = {1104.4450}, archivePrefix = {arXiv}, primaryClass = {math.LO}, }
In this article, we prove that if ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms that I introduced in my paper, “The set-theoretic multiverse.”