Multi-Dimensional Interpretations of Presburger Arithmetic in Itself

DOI10.1093/LOGCOM/EXAA050MaRDI QIDQ6338282arXivFDO

Authors Fedor N. Pakhomov, Alexander Zapryagaev

Publication date 5 April 2020

Published in arXiv

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAA050

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30) Total orders (06A05)

arXiv classification

math.LO

Abstract: 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 $(mathbbN;+)$ are scattered orderings with the finite Hausdorff rank and that the ranks are bounded in the terms of the dimensions of the respective interpretations.

This page was built for publication: Multi-Dimensional Interpretations of Presburger Arithmetic in Itself

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6338282)