Linear Orders in Presburger Arithmetic

Fedor Pakhomov, Alexander Zapryagaev

We prove the linear orders first-order definable in the standard model $(\ZZ;<,+)$ of Presburger arithmetic are exactly those that are $(\ZZ;<,+)$-definably embeddable into the lex…