Bounded queries to arbitrary sets
A. Lozano · RAIRO - Theoretical Informatics and Applications · 1996
We prove that if P superA[k] = P superA[k+1] for some k and an arbitrary set A, then A is reducible to its complement under a relativized nondeterministic conjunctive reduction. This result shows the first known property of arbitrary sets satisfying this condition, and implies some known facts such as Kadin's theorem and its extension to the class C=P.