Nonreducibility of the universal treeable relation to Turing equivalence

Let EtreeE_{\rm tree} denote the universal treeable countable Borel equivalence relation, and let ETE_T denote Turing equivalence. A Borel reduction from EtreeE_{\rm tree} to ETE_T 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

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.