When an Equivalence Relation with All Borel Classes will be Borel Somewhere?

William Chan, Menachem Magidor

In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E\in L(\mathbb{R})$ on $\mathbb{R}$ with…