Interpretations of Linear Orderings in Presburger Arithmetic
Logic
2019-11-27 v2
Abstract
Presburger Arithmetic 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 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 we obtain the complete criterion of interpretability.
Cite
@article{arxiv.1911.07182,
title = {Interpretations of Linear Orderings in Presburger Arithmetic},
author = {Alexander Zapryagaev},
journal= {arXiv preprint arXiv:1911.07182},
year = {2019}
}
Comments
10 pages