Idealistic equivalence relations and the Lusin derivative

Bilge Köksal, Mateusz Lichman, Sławomir Solecki

We give a proof, that does not rely on analytic determinacy, of the existence of an idealistic analytic equivalence relation with Borel classes that is not classwise Borel isomorph…