Dichotomy conjecture for idealistic Borel equivalence relations
Dichotomy conjecture for idealistic Borel equivalence relations
Let be a Borel equivalence relation, and let denote eventual agreement on countable sequences of reals. Write when is Borel reducible to . 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 or 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
Sign in to submit a solution.
No solutions have been posted yet.