Multi-Dimensional Interpretations of Presburger Arithmetic in Itself

Fedor Pakhomov, Alexander Zapryagaev

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 se…