Uniform universality characterization for countable Borel equivalence relations
Uniform universality characterization for countable Borel equivalence relations
A countable Borel equivalence relation is an equivalence relation on a standard Borel space whose equivalence classes are countable. A relation is universal if every countable Borel equivalence relation Borel reduces to . Given a generating sequence of Borel functions, is uniformly universal with respect to that sequence if every countable Borel equivalence relation, presented by its own generating sequence, admits a uniform Borel reduction to .
Uniform universality characterization. A countable Borel equivalence relation is universal if and only if it is uniformly universal with respect to every way it can be generated.
Uniform universality is intended to capture the uniform methods used in known proofs of universality, but the equivalence between universality and uniform universality for every generating presentation remains open.
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.