加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本