An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model
Abstract
We prove that in the Solovay model, every OD equivalence relation, E, over the reals, either admits an OD reduction to the equality relation on the set of all countable binary sequences, or continuously embeds $\mathrm{E}_0$, the Vitali equivalence. If E is a $\Sigma^1_1$ relation then the reduction above can be chosen in the class of all $\triangle_1$ functions. The proofs are based on a topology generated by OD sets.