Linear Orders in Presburger Arithmetic
Logic
2026-04-21 v2
Abstract
We prove the linear orders first-order definable in the standard model of Presburger arithmetic are exactly those that are -definably embeddable into the lexicographic ordering on for some .
Cite
@article{arxiv.2209.11598,
title = {Linear Orders in Presburger Arithmetic},
author = {Fedor Pakhomov and Alexander Zapryagaev},
journal= {arXiv preprint arXiv:2209.11598},
year = {2026}
}
Comments
17 pages. To be submitted