A natural model of the multiverse axioms

2011/04/22 by Gitman, Victoria, Hamkins, Joel David
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1104.4450

Abstract

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

Related

• The Consistency of ZFC+CIFS
• Infinite forcing and the generic multiverse
• What is the theory ZFC without power set?
• Incomparable ω₁-like models of set theory
• Pseudo-countable models