The Additive Arithmetic of Linear Orders
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.20309
curl -X POST /api/v1/records/arxiv/2608.20309/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.20309/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'