A natural model of the multiverse axioms
  If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms introduced by Hamkins. 
Victoria Gitman and Joel David Hamkins
math.LO