[bibtex key=GitmanHamkins2010:NaturalModelOfMultiverseAxioms]
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.”
