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

About 6 years old · traced to

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.

References

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.