English

Generalized sums of linear orders

Logic 2025-12-17 v1

Abstract

We study generalized sums of linear orders. These are binary operations that, given linear orders AA and BB, return an order ABA \oplus B that can be decomposed as an isomorphic copy of AA interleaved with a copy of BB. We show that there is a rich array of associative sums different from the usual sum ++ and its dual. The simplest of these sums arise from what we call sum-generating classes of linear orders. These classes determine canonical decompositions of every linear order into left and right halves. We study the structural and algebraic properties of these classes along with the sums they generate. We then turn our attention to commutative sums on various subclasses of the linear orders. For this, we introduce the notion of a complicated class of linear orders and show that over such classes sums can be constructed in a very flexible way. Using this construction, we prove the existence of associative sums lacking the structural properties of the usual sum. Along the way, we characterize the associative and commutative sums on the ordinals.

Keywords

Cite

@article{arxiv.2512.13772,
  title  = {Generalized sums of linear orders},
  author = {Álvaro Díaz Ramos and Garrett Ervin and Saharon Shelah},
  journal= {arXiv preprint arXiv:2512.13772},
  year   = {2025}
}
R2 v1 2026-07-01T08:26:00.635Z