English

Incomparable $\omega_1$-like models of set theory

Logic 2015-01-07 v1

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 ω1\omega_1-like models of set theory. Specifically, under the \diamondsuit hypothesis and suitable consistency assumptions, we show that there is a family of 2ω12^{\omega_1} many ω1\omega_1-like models of ZFC, all with the same ordinals, that are pairwise incomparable under embeddability; there can be a transitive ω1\omega_1-like model of ZFC that does not embed into its own constructible universe; and there can be an ω1\omega_1-like model of PA whose structure of hereditarily finite sets is not universal for the ω1\omega_1-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