A Natural Model of the Multiverse Axioms

作者:Gitman Victoria*; Hamkins Joel David
来源:Notre Dame Journal of Formal Logic, 2010, 51(4): 475-484.
DOI:10.1215/00294527-2010-030

摘要

If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of Hamkins.

  • 出版日期2010