English

Linear Orders in Presburger Arithmetic

Logic 2026-04-21 v2

Abstract

We prove the linear orders first-order definable in the standard model (\ZZ;<,+)(\ZZ;<,+) of Presburger arithmetic are exactly those that are (\ZZ;<,+)(\ZZ;<,+)-definably embeddable into the lexicographic ordering on \ZZn\ZZ^n for some nn.

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

R2 v1 2026-06-28T01:58:04.062Z