Let
$$
A=\{x \mid x\ \equiv_T\ y^{(\omega)}\quad \text{for some set } y\},
$$$$
A=\{x \mid x\ \equiv_T\ j(y)\quad \text{for some set } y\},
$$
where $y^{(\omega)}$$j(y)$ is the $\omega$$\Delta^1_{2n+1}$-jump (arithmetical jump) of $y$, for $n\ge 1$.
Then $A$ is Borel, since we may assume $y\ \le_T\ x$$y$ is definable from $x$.
Since $x\ <_T\ x^{(\omega)}$$x\ <_T\ j(x)$ for all $x$, $A$ is cofinal in the Turing degrees.
Hence by Borel Determinacy, $A$ must contain a cone in the Turing degrees.
BasedKechris showed a restriction on possible jump inversion theorems in the following it seems to be not known what a base of such a cone might be.
Let $\le_a$ denote arithmetical reducibility and $\equiv_a$ arithmetical equivalence; so$\Delta^1_{2n+1}$-degrees $x\ \le_a\ y$ if(see Kastanas, $x\ \le_T\ y^{(n)}$ for someThe jump inversion theorem for $n$. MacIntyre$Q_{2n+1}$ (Transfinite extensions of Friedberg's completeness criteriondegrees, JProc. of Symbolic Logic, 1977AMS 1984) showed that
$$
B=\{x \mid x\ \equiv_a\ y^{(\omega)}\quad \text{for some set } y\}.
$$
coincides with cone above $0^{(\omega)}$ in the arithmetical degrees. So if we start with a $z\ \ge_T\ 0^{(\omega)}$ then certainly $z\ \ge_a\ 0^{(\omega)}$, and so $z\ \equiv_a\ x$I am guessing that no base for some $x\in B$, but this does not imply $z\ \equiv_T\ x$.a cone contained in (See e$A$ is known.g But perhaps this is closer to set theory than recursion theory.
EDIT: Changed the proof of MacIntyre's result in Odifreddiexample since the $\omega$-jump or hyperjump do not work, by MacIntyre, Forcing and reducibilitiesTransfinite extensions of Friedberg's completeness theorem, J. of Symbolic Logic, 1983, Prop. 4.2.)
Actually we even have for all $x$, $y$,
$$
x\ \equiv_a\ y \quad\Longrightarrow\quad x^{(\omega)}\ \equiv_T \ y^{(\omega)}
$$
but this doesn't seem to help either 1977.