Interpretations of Linear Orderings in Presburger Arithmetic

Alexander Zapryagaev

Presburger Arithmetic $\mathrm{PrA}$ is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and…