Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1752

Preprint Number 1752

Previous Next Preprint server

1752. Fedor Pakhomov and Alexander Zapryagaev
Multi-Dimensional Interpretations of Presburger Arithmetic in Itself

Submission date: 5 April 2020


Presburger Arithmetic is the true theory of natural numbers with addition. We study interpretations of Presburger Arithmetic in itself. The main result of this paper is that all self-interpretations are definably isomorphic to the trivial one. Here we consider interpretations that might be multi-dimensional. We note that this resolves a conjecture by A. Visser. In order to prove the result we show that all linear orderings that are interpretable in (ℕ;+) are scattered orderings with the finite Hausdorff rank and that the ranks are bounded in the terms of the dimensions of the respective interpretations.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2004.03404: pdf, ps.

Last updated: April 21 2020 09:45 Please send your corrections to: