English

Decomposing the real line into everywhere isomorphic suborders

Logic 2023-03-22 v1

Abstract

We show that if R=AB\mathbb{R} = A \cup B is a partition of R\mathbb{R} into two suborders AA and BB, then there is an open interval II such that AIA \cap I is not order-isomorphic to BIB \cap I. The proof depends on the completeness of R\mathbb{R}, and we show in contrast that there is a partition of the irrationals RQ=AB\mathbb{R} \setminus \mathbb{Q} = A \cup B such that AIA \cap I is isomorphic to BIB \cap I for every open interval II. We do not know if there is a partition of R\mathbb{R} 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

R2 v1 2026-06-28T09:25:22.998Z