Optimistic uniform universality conjecture for universal countable Borel equivalence relations

Let EE be a countable Borel equivalence relation. It is universal if every countable Borel equivalence relation Borel reduces to EE. Given a generating family of Borel functions, EE is uniformly universal with respect to that family if every countable Borel equivalence relation has a uniform Borel reduction to EE relative to the generating families.

Optimistic uniform universality conjecture. If EE is a universal countable Borel equivalence relation, then EE is uniformly universal with respect to every way of generating EE.

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

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.