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 EE is universal if every countable Borel equivalence relation Borel reduces to EE. Given a generating sequence of Borel functions, EE 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 EE.

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

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.