A Natural Model of the Multiverse Axioms

Victoria Gitman, Joel David Hamkins
2010 Notre Dame Journal of Formal Logic  
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of [Hama].
doi:10.1215/00294527-2010-030 fatcat:tlqqmpijibeu5cgwyci2rizwii