PNP and All Non-Empty Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle
share
As one step in a working program initiated by Pudlák [Pud17] we construct an oracle relative to which PNP and all non-empty sets in NP∪coNP have P-optimal proof systems.
READ FULL TEXT