Nonreducibility of the universal treeable relation to Turing equivalence
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.