Countable linear orders with disjoint infinite intervals are mutually orthogonal
Abstract
Two linear orderings of a same set are perpendicular if the only self-mappings of this set that preserve them both are the identity and the constant mappings. Two linear orderings are orthogonal if they are isomorphic to two perpendicular linear orderings. We show that two countable linear orderings are orthogonal as soon as each one has two disjoint infinite intervals. From this and previously known results it follows in particular that each countably infinite linear ordering is orthogonal to itself