Suppose $X \subseteq 2^{\omega}$ is nonempty and $\Pi^0_1$ relative to $a$. Assume $c_0 \nleq_T b_0 \oplus a$ and $c_1 \nleq_T b_1 \oplus a$. Must there exist some $y \in X$ such that $c_i \nleq_T b_i \oplus y$ for $i = 0, 1$? All I know is that this is true if $b_0 = b_1$.
$\begingroup$
$\endgroup$
Add a comment
|