A dichotomy for the definable universe

DOI10.2307/2275883zbMath0844.03029OpenAlexW1976225346MaRDI QIDQ4876320

Greg Hjorth

Publication date: 27 August 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275883

zbMATH Keywords

Borel equivalence relationsdichotomyAxiom of Determinacywellordered separating family

Mathematics Subject Classification ID

Descriptive set theory (03E15) Determinacy principles (03E60)

Related Items (max. 100)

Ramsey ultrafilters and countable-to-one uniformization ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ More definable combinatorics around the first and second uncountable cardinals ⋮ \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis ⋮ An introduction to combinatorics of determinacy ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ An Ulm-type classification theorem for equivalence relations in Solovay model ⋮ Thin equivalence relations and inner models ⋮ Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations ⋮ Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\) ⋮ Cardinalities in the projective hierarchy

Cites Work

• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Descriptive set theory
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations

This page was built for publication: A dichotomy for the definable universe