Steel's cone-equivalence conjecture for -invariant functions
Steel's cone-equivalence conjecture for -invariant functions
Let be Cantor space. A function is -invariant, and a function is uniformly invariant when its many-one equivalences are witnessed uniformly from the Turing-equivalence programs. Assume . Steel's cone-equivalence conjecture. If is -invariant, then there is a uniformly -invariant function such that on a Turing cone of . 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.