Decomposing the real line into everywhere isomorphic suborders

Garrett Ervin

We show that if $\mathbb{R}=A\cup B$ is a partition of $\mathbb{R}$ into two suborders $A$ and $B$, then there is an open interval $I$ such that $A\cap I$ is not order-isomorph…