1 citations · 1 across the 3 of their papers we have counts for
4 papers
-Optimal Proof Systems for Each -Complete Set and no Complete Problems in Relative to an Oracle
Titus Dose
We build on a working program initiated by Pudlák [Pud17] and construct an oracle relative to which each -complete set has -optimal proof systems and $\m…
and All Non-Empty Sets in Have P-Optimal Proof Systems Relative to an Oracle
Titus Dose
As one step in a working program initiated by Pudlák [Pud17] we construct an oracle relative to which and all non-empty sets in $\mathrm{NP}\cup\mathrm{c…
An Oracle Separating Conjectures about Incompleteness in the Finite Domain
Titus Dose
Pudlák [Pud17] lists several major conjectures from the field of proof complexity and asks for oracles that separate corresponding relativized conjectures. Among these conjectures…
Complete Disjoint coNP-Pairs but no Complete Total Polynomial Search Problems Relative to an Oracle
Titus Dose
All versions of this paper contain errors. Therefore, the existence of an oracle relative to which (i) there exist complete disjoint coNP-pairs and (ii) there exist no complete tot…