Dichotomy conjecture for idealistic Borel equivalence relations

From papers

Let EE be a Borel equivalence relation, and let E1E_1 denote eventual agreement on countable sequences of reals. Write EBFE\leq_B F when EE is Borel reducible to FF. An orbit equivalence relation is induced by an action of a Polish group, and an idealistic equivalence relation is understood in the sense used in the paper. Dichotomy conjecture. Either E1BEE_1\leq_B E or EE is Borel reducible to an orbit equivalence relation, or even just to an idealistic equivalence relation. This is a proposed dichotomy concerning idealistic equivalence relations. The source says that it remains unaffected by the results of the paper, but does not provide a resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Filippo Calderoni and Luca Motto Ros, “Structural results on idealistic equivalence relations”, arXiv:2506.08217 (2025).

Solutions 0

No solutions have been posted yet.