Order-isomorphic Morass-definable $\eta_1$-orderings
Logic
2019-05-24 v2
Abstract
We prove that in the Cohen extension adding generic reals to a model of containing a simplified -morass, gap-2 morass-definable -orderings with cardinality are order-isomorphic. Hence it is consistent that the and that morass-definable -orderings with cardinality of the continuum are order-isomorphic. We prove that there are ultrapowers of over 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 , to a function between objects of cardinality .
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}
}