孪生素数猜想独立于 Peano 算术吗？
逻辑
2021-11-03 v3
摘要
我们证明存在一个算术公式 F，使得 ZF 证明 F 独立于 PA，然而不同于其他算术独立命题，F 的真值目前无法在 ZF 或任何其他受信任的元理论中确立。事实上，我们可选择此类公式 F 的一个例子，使得 ZF 证明 F 等价于孪生素数猜想。
引用
@article{arxiv.2110.08640,
title = {Is the twin prime conjecture independent of Peano Arithmetic?},
author = {Alessandro Berarducci and Antongiulio Fornasiero and Joel David Hamkins},
journal= {arXiv preprint arXiv:2110.08640},
year = {2021}
}
备注
4 pages. Added Hamkins as coauthor and a sharper version of the main result (Theorem 1)