• 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.”