关于有限域中不完全性猜想的新关系与分离
逻辑
2019-04-08 v2 计算复杂性
摘要
我们的主要结果在以下三个部分中：1. 我们证明了 \cite{pu18} 中讨论的证明复杂性猜想之间的新关系。2. 我们研究在某些新类 下 与 （ 的非确定性版本）坍缩时， 的 p-最优证明系统的存在性，并假设 p-最优证明系统不存在而证明强理论的新条件独立性结果。3. 我们构造了两个新预言机 和 。这两个预言机蕴含了相对论世界中证明复杂性猜想的若干新分离。其中，我们证明在相对论世界中 的 p-最优证明系统的存在性与 的完全问题的存在性彼此独立，这是此前未知的。
引用
@article{arxiv.1904.01362,
title = {New relations and separations of conjectures about incompleteness in the finite domain},
author = {Erfan Khaniki},
journal= {arXiv preprint arXiv:1904.01362},
year = {2019}
}