$\mathrm{P}$-Optimal Proof Systems for Each $\mathrm{coNP}$-Complete Set and no Complete Problems in $\mathrm{NP}\cap\mathrm{coNP}$ Relative to an Oracle
Abstract
We build on a working program initiated by Pudlák [Pud17] and construct an oracle relative to which each $\mathrm{coNP}$-complete set has $\mathrm{P}$-optimal proof systems and $\mathrm{NP}\cap\mathrm{coNP}$ does not have complete problems.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2019
- DOI:
- 10.48550/arXiv.1910.08571
- arXiv:
- arXiv:1910.08571
- Bibcode:
- 2019arXiv191008571D
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Logic in Computer Science
- E-Print:
- arXiv admin note: substantial text overlap with arXiv:1904.06175, arXiv:1909.02839