Interpretations of Linear Orderings in Presburger Arithmetic

MaRDI QIDQ6329319FDO

Authors Alexander Zapryagaev

Publication date 17 November 2019

Abstract: Presburger Arithmetic $mathopmathbfPrAolimits$ is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and establish various necessary and sufficient conditions for interpretability depending on dimension $n$ of interpretation. We note this problem is relevant to the interpretations of Presburger Arithmetic in itself, as well as the characterization of automatic orderings. For $n=2$ we obtain the complete criterion of interpretability.

This page was built for publication: Interpretations of Linear Orderings in Presburger Arithmetic

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