关于素数加法理论的研究 II

摘要：素数的加法理论（包括单位元）的不可判定性以及理论Th(N, +, n -> p\_n)，其中p\_n表示第（n+1）个素数，都是开放问题。作为一种可能的方法，我们通过添加一些额外的函数来扩展后者的理论。在这方面，我们展示了存在部分的理论Th(N, +, n -> p\_n, n -> r\_n)的不可判定性，其中r\_n是p\_n除以n在欧几里得除法中的余数。

作者：Patrick Cegielski (LACL), Denis Richard (LLAIC1), Maxim Vsemirnov (PDMI)

论文ID：math/0609554

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中