Abstract
Assuming every real has a sharp, we prove that for any $\underset{\tilde{}}{{\Pi}^1_1}$ equivalence relation either Borel reduces E0 or in a $\underset{\tilde{}}{{\Delta}^1_3}$ manner allows the assignment of bounded subsets of ω1 as complete invariants.
Citation
Greg Hjorth. "Glimm-Effros for coanalytic equivalence relations." J. Symbolic Logic 74 (2) 402 - 422, June 2009. https://doi.org/10.2178/jsl/1243948320
Information
