## Journal of Symbolic Logic

### A Dichotomy for the Definable Universe

Greg Hjorth

#### Abstract

In the presence of large cardinals, or sufficient determinacy, every equivalence relation in $\mathbb{L(R)}$ either admits a wellordered separating family or continuously reduces $E_0$.

#### Article information

Source
J. Symbolic Logic, Volume 60, Issue 4 (1995), 1199-1207.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183744872

Mathematical Reviews number (MathSciNet)
MR1367205

Zentralblatt MATH identifier
0844.03029

JSTOR