Idealistic equivalence relations and the Lusin derivative
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 isomorphic to an orbit equivalence relation. This result answers a question of Becker, and Calderoni and Motto Ros. Our proof proceeds through an analysis of Borel complexity of certain sets of countable rooted trees defined via the notion of the Lusin derivative.