Nonreducibility of the universal treeable relation to Turing equivalence
Let denote the universal treeable countable Borel equivalence relation, and let denote Turing equivalence. A Borel reduction from to is a Borel function preserving and reflecting equivalence.
Treeable nonreducibility conjecture. The universal treeable countable Borel equivalence relation is not Borel reducible to Turing equivalence.
The conjecture is motivated by results showing that certain closure properties obstruct uniform reductions to equivalence relations generated by specified families of functions. Whether this nonreducibility holds is left open in the source.
References
Primary source
Andrew S Marks, “Uniformity, Universality, and Computability Theory”, arXiv:1606.01976 (2017).
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
No solutions have been posted yet.