A Natural Model of the Multiverse Axioms
Gitman, Victoria ; Hamkins, Joel David
Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, p. 475-484 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of Hamkins.
Publié le : 2010-10-15
Classification:  set theory,  multiverse,  ZFC,  forcing,  03E40,  03E99 
@article{1285765800,
     author = {Gitman, Victoria and Hamkins, Joel David},
     title = {A Natural Model of the Multiverse Axioms},
     journal = {Notre Dame J. Formal Logic},
     volume = {51},
     number = {1},
     year = {2010},
     pages = { 475-484},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1285765800}
}

Gitman, Victoria; Hamkins, Joel David. A Natural Model of the Multiverse Axioms. Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, pp.  475-484. http://gdmltest.u-ga.fr/item/1285765800/