Optimistic uniform universality conjecture for universal countable Borel equivalence relations
Optimistic uniform universality conjecture for universal countable Borel equivalence relations
Let be a countable Borel equivalence relation. It is universal if every countable Borel equivalence relation Borel reduces to . Given a generating family of Borel functions, is uniformly universal with respect to that family if every countable Borel equivalence relation has a uniform Borel reduction to relative to the generating families.
Optimistic uniform universality conjecture. If is a universal countable Borel equivalence relation, then is uniformly universal with respect to every way of generating .
The paper calls this conjecture “ridiculously optimistic.” It is motivated by the fact that every known universal countable Borel equivalence relation has been established as universal by a proof uniform in this sense.
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.