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