Decomposing the real line into everywhere isomorphic suborders
Logic
2023-03-22 v1
Abstract
We show that if is a partition of into two suborders and , then there is an open interval such that is not order-isomorphic to . The proof depends on the completeness of , and we show in contrast that there is a partition of the irrationals such that is isomorphic to for every open interval . We do not know if there is a partition of into three suborders that are isomorphic in every open interval.
Keywords
Cite
@article{arxiv.2303.11532,
title = {Decomposing the real line into everywhere isomorphic suborders},
author = {Garrett Ervin},
journal= {arXiv preprint arXiv:2303.11532},
year = {2023}
}
Comments
15 pages