Skip to main content
1 of 4

Properties Of All Relatively Computable Branches

I'm probably just missing something obvious but suppose that $T \subset 2^{< \omega}$ is a perfect tree with no terminal nodes (what about just $[T]$ non-empty?). If $Y \leq_{T} X$ for all $X \in [T], X \leq_T T$ must we have $Y \leq_T Z$ for all $Z \in [T]$? In other words, can the paths which $T$

More generally, does the following hold for all $T, n, Y$? $$ \forall X\left[X \in [T] \land X \leq_T T \implies Y \leq_T X^{(n)} \right] \implies \forall Z\left[Z \in [T] \implies Y \leq_T Z^{(n)} \right] $$

I suspect the answer is yes but, if not, would it hold if we assume that $Z$ must be generic relative to $T$ (that was what initially motivated the question and then I realized I didn't know the answer more generally)?