Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.14614 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 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.