Uniformization conjecture for Borel homomorphisms from arithmetic to Turing equivalence
Uniformization conjecture for Borel homomorphisms from arithmetic to Turing equivalence
Let denote arithmetic equivalence and Turing equivalence on . A homomorphism from to preserves equivalence, and uniformity means that there is a function witnessing, for every arithmetic reduction pair , a corresponding Turing reduction pair. Uniformization conjecture. If is a Borel homomorphism from to , then there exists a Borel homomorphism from to such that on an arithmetic cone and is uniform: for all , if via , then via . 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
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.