素数加法理论 II
逻辑
2007-05-23 v1
摘要
素数加法理论（带恒等）以及理论 Th(N,+, n -> p_n)（其中 p_n 表示第 (n+1) 个素数）的不可判定性是开放问题。作为一种可能的途径，我们通过添加一些额外函数来推广后一理论。在此方向上，我们证明了理论 Th(N, +, n -> p_n, n -> r_n) 的存在部分不可判定，其中 r_n 为欧几里得除法中 p_n 除以 n 的余数。
引用
@article{arxiv.math/0609554,
title = {On the additive theory of prime numbers II},
author = {Patrick Cegielski and Denis Richard and Maxim Vsemirnov},
journal= {arXiv preprint arXiv:math/0609554},
year = {2007}
}