research
∙
09/05/2019
PNP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle
As one step in a working program initiated by Pudlák [Pud17] we construc...
share
research
∙
04/11/2019
