Steel's cone-equivalence conjecture for (T,m)(\equiv_T,\equiv_m)-invariant functions

Let 2ω2^{\omega} be Cantor space. A function f ⁣:2ω2ωf\colon 2^{\omega}\to 2^{\omega} is (T,m)(\equiv_T,\equiv_m)-invariant, and a function is uniformly invariant when its many-one equivalences are witnessed uniformly from the Turing-equivalence programs. Assume AD\mathsf{AD}. Steel's cone-equivalence conjecture. If ff is (T,m)(\equiv_T,\equiv_m)-invariant, then there is a uniformly (T,m)(\equiv_T,\equiv_m)-invariant function gg such that f(x)mg(x)f(x)\equiv_m g(x) on a Turing cone of xx. This is presented as a strengthening of the preceding conjecture, replacing cone reducibility with pointwise many-one equivalence on a cone; the supplied text does not resolve it.

Sources & referencesView supporting material

Primary source

Adam Day and Andrew Marks, “On a question of Slaman and Steel”, arXiv:2004.00174 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.