English

Interpretations of Linear Orderings in Presburger Arithmetic

Logic 2019-11-27 v2

Abstract

Presburger Arithmetic PrA\mathop{\mathbf{PrA}}\nolimits is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and establish various necessary and sufficient conditions for interpretability depending on dimension nn of interpretation. We note this problem is relevant to the interpretations of Presburger Arithmetic in itself, as well as the characterization of automatic orderings. For n=2n=2 we obtain the complete criterion of interpretability.

Cite

@article{arxiv.1911.07182,
  title  = {Interpretations of Linear Orderings in Presburger Arithmetic},
  author = {Alexander Zapryagaev},
  journal= {arXiv preprint arXiv:1911.07182},
  year   = {2019}
}

Comments

10 pages

R2 v1 2026-06-23T12:18:15.075Z