3 papers
math.LO2020
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…
math.LO2019
Interpretations of Linear Orderings in Presburger Arithmetic
Alexander Zapryagaev
Presburger Arithmetic is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and…
math.LO2017
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…