Uniformization conjecture for Borel homomorphisms from arithmetic to Turing equivalence

Let A\equiv_A denote arithmetic equivalence and T\equiv_T Turing equivalence on 2ω2^\omega. A homomorphism from A\equiv_A to T\equiv_T preserves equivalence, and uniformity means that there is a function u:ω2ω2u:\omega^2\to\omega^2 witnessing, for every arithmetic reduction pair (i,j)(i,j), a corresponding Turing reduction pair. Uniformization conjecture. If ff is a Borel homomorphism from A\equiv_A to T\equiv_T, then there exists a Borel homomorphism gg from A\equiv_A to T\equiv_T such that f(x)Ag(x)f(x)\equiv_Ag(x) on an arithmetic cone and gg is uniform: for all x,yx,y, if xAyx\equiv_Ay via (i,j)(i,j), then g(x)Tg(y)g(x)\equiv_Tg(y) via u(i,j)u(i,j). The question concerns whether nonuniform Borel homomorphisms admit uniform representatives on a cone; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Andrew Marks, Theodore Slaman and John Steel, “Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations”, arXiv:1109.1875 (2012).

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.