pith. sign in

Title resolution pending

Hemachandra, Lane A · 1992 · DOI 10.1016/0304-3975(92)90318-a

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.CC 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Recursive Jump Operators and Optimal Proof Systems

cs.CC · 2026-05-31 · unverdicted · novelty 8.0

An oracle exists relative to which TAUT has neither optimal proof systems nor recursive jump operators (even with infinite PH), showing Khaniki's question is not relativizably provable.

citing papers explorer

Showing 1 of 1 citing paper.

  • Recursive Jump Operators and Optimal Proof Systems cs.CC · 2026-05-31 · unverdicted · none · ref 35

    An oracle exists relative to which TAUT has neither optimal proof systems nor recursive jump operators (even with infinite PH), showing Khaniki's question is not relativizably provable.