Decomposing the real line into everywhere isomorphic suborders

Publication date 15 February 2024

Abstract: We show that if

m a t h b b R = A c u p B

is a partition of

m a t h b b R

into two suborders

A

and

B

, then there is an open interval

I

such that

A c a p I

is not order-isomorphic to

B c a p I

. The proof depends on the completeness of

m a t h b b R

, and we show in contrast that there is a partition of the irrationals

m a t h b b R s e t m i n u s m a t h b b Q = A c u p B

such that

A c a p I

is isomorphic to

B c a p I

for every open interval

I

. We do not know if there is a partition of

m a t h b b R

into three suborders that are isomorphic in every open interval.

This page was built for publication: Decomposing the real line into everywhere isomorphic suborders