A natural model of the multiverse axioms
classification
🧮 math.LO
keywords
axiomsmultiversecollectioncomputablyconsistentcountablehamkinsintroduced
read the original abstract
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms introduced by Hamkins.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.