A natural model of the multiverse axioms
PDF Bibtex
Arχiv
@article {multiverse:gitmanhamkins, AUTHOR = {Gitman, Victoria and Hamkins, Joel David}, TITLE = {A natural model of the multiverse axioms}, JOURNAL = {Notre Dame J. Form. Log.}, FJOURNAL = {Notre Dame Journal of Formal Logic}, VOLUME = {51}, YEAR = {2010}, NUMBER = {4}, PAGES = {475--484}, EPRINT ={1104.4450}, ISSN = {0029-4527}, MRCLASS = {03C62 (03E40 03E99)}, MRNUMBER = {2741838 (2012b:03099)}, MRREVIEWER = {Andrzej Ros{\l}anowski}, DOI = {10.1215/00294527-2010-030}, URL = {http://dx.doi.org/10.1215/00294527-2010-030},}
V. Gitman and J. D. Hamkins, “A natural model of the multiverse axioms,” Notre Dame J. Form. Log., vol. 51, no. 4, pp. 475–484, 2010.
If ${\rm ZFC}$ is consistent, then the collection of countable computably saturated models of ${\rm ZFC}$ satisfies all of the Multiverse Axioms of [1].
References
- J. D. Hamkins, “The set-theoretic multiverse,” Rev. Symb. Log., vol. 5, no. 3, pp. 416–449, 2012.
