{"id":"arxiv/2608.20309","url":"https://arxiv.org/abs/2608.20309","tags":["math.LO"],"score":0,"title":"The Additive Arithmetic of Linear Orders","domain":"math.LO","source":"arxiv","authors":["Garrett Ervin","Eric Paul"],"reviews":0,"subject":"math.LO","summary":"We present a systematic development of the arithmetic of the class of linear orders under the ordered sum $(LO, +)$ and prove a number of new results. Our approach is based on a Euclidean algorithm for pairs of linear orders that almost additively commute. Among our results: (i.) We generalize and give unified proofs of the main classical theorems for $(LO, +)$, including Lindenbaum's division theorem for $(LO, +)$ and a representation theorem for additively commuting pairs of linear orders due to Aronszajn. (ii.) We solve the following problem, posed by Tarski in 1956: is it true that for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-20","reactions":{}}