Dichotomy conjecture for idealistic Borel equivalence relations

About 1 year old · traced to

Let EE be a Borel equivalence relation, and let E1E_1 denote eventual agreement on countable sequences of reals. Write E≤BFE\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 E1≤BEE_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.

References

Primary source

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

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.