带素数谓词的整数理论的可判定性与分类
逻辑
2016-02-16 v2
摘要
我们表明，在关于自然数中素数分布的迪克森猜想下，理论 Th(Z,+,1,0,Pr)（其中 Pr 是素数及其负数的谓词）是可判定的、不稳定的且超简单的。这与 Th(Z,+,0,Pr,<) 形成对比，后者由 Jockusch、Bateman 和 Woods 的工作已知是不可判定的。
引用
@article{arxiv.1601.07099,
title = {Decidability and classification of the theory of integers with primes},
author = {Itay Kaplan and Saharon Shelah},
journal= {arXiv preprint arXiv:1601.07099},
year = {2016}
}