English

Order-isomorphic Morass-definable $\eta_1$-orderings

Logic 2019-05-24 v2

Abstract

We prove that in the Cohen extension adding 3\aleph_3 generic reals to a model of ZFC+CHZFC+CH containing a simplified (ω1,2)(\omega_1,2)-morass, gap-2 morass-definable η1\eta_1-orderings with cardinality 3\aleph_3 are order-isomorphic. Hence it is consistent that the 20=32^{\aleph_0}=\aleph_3 and that morass-definable η1\eta_1-orderings with cardinality of the continuum are order-isomorphic. We prove that there are ultrapowers of R\mathbb{R} over ω\omega that are gap-2 morass-definable. The constructions use a simplified gap-2 morass, and commutativity with morass-maps and morass-embeddings, to extend a transfinite back-and-forth construction of order type ω1\omega_1, to a function between objects of cardinality 3\aleph_3.

Keywords

Cite

@article{arxiv.1701.02031,
  title  = {Order-isomorphic Morass-definable $\eta_1$-orderings},
  author = {Bob A Dumas},
  journal= {arXiv preprint arXiv:1701.02031},
  year   = {2019}
}
R2 v1 2026-06-22T17:44:17.203Z