The countable condensation on linear orders

Abstract

The countable condensation on a linear order $L$ is the equivalence relation $\sim_ω$ defined by declaring $x \sim_ωy$ when the set of points between $x$ and $y$ is countable. We characterize the linear orders $L$ that condense to $1$ under the countable condensation by constructing a linear order $U$ that is universal for the order types $L$ such that $L/\!\!\sim_ω\, \cong 1$. We define a multiplication operation $\cdot_ω$ on the class of linear orders by setting $M \cdot_ωL$ to be the order type of $(ML)/\!\!\sim_ω$ (where $ML$ denotes the lexicographic product), and show that the right identities for $\cdot_ω$ are exactly the uncountable suborders of $U$. The order types of these uncountable suborders of $U$ form a left regular band under $\cdot_ω$, and the order types of all suborders of $U$ form a semigroup.