Interpretations of Presburger Arithmetic in Itself

Alexander Zapryagaev, Fedor Pakhomov

Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are…