Incomparable $\omega_1$-like models of set theory
Abstract
We show that the analogues of the Hamkins embedding theorems, proved for the countable models of set theory, do not hold when extended to the uncountable realm of -like models of set theory. Specifically, under the hypothesis and suitable consistency assumptions, we show that there is a family of many -like models of ZFC, all with the same ordinals, that are pairwise incomparable under embeddability; there can be a transitive -like model of ZFC that does not embed into its own constructible universe; and there can be an -like model of PA whose structure of hereditarily finite sets is not universal for the -like models of set theory.
Keywords
Cite
@article{arxiv.1501.01022,
title = {Incomparable $\omega_1$-like models of set theory},
author = {Gunter Fuchs and Victoria Gitman and Joel David Hamkins},
journal= {arXiv preprint arXiv:1501.01022},
year = {2015}
}
Comments
15 pages. Commentary concerning this article can be made at http://jdh.hamkins.org/incomparable-omega-one-like-models-of-set-theory