Skip to main content
edited tags; edited title
Link
Noah Schweber
  • 21.2k
  • 10
  • 110
  • 331

Cone avoidance and $Pi^0_1$.class$\Pi^0_1$-classes

Source Link

Cone avoidance and $Pi^0_1$.class

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$.