An Ulm-type classification theorem for equivalence relations in Solovay model

DOI10.2307/2275646zbMath0895.03020arXivmath/9507213OpenAlexW2011090262MaRDI QIDQ4382479

Kanovei, Vladimir

Publication date: 2 September 1998

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

Full work available at URL: https://arxiv.org/abs/math/9507213

zbMATH Keywords

reductionenumerationSolovay modelreal-ordinal definable equivalence relations

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (10)

Models of set theory in which the separation theorem fails ⋮ On countable cofinality and decomposition of definable thin orderings ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model ⋮ A Groszek‐Laver pair of undistinguishable ‐classes ⋮ Linearization of definable order relations ⋮ Countable OD sets of reals belong to the ground model ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Some natural equivalence relations in the Solovay model ⋮ Ulm Classification of Analytic Equivalence Relations in Generic Universes

Cites Work

• On Lusin's restricted continuum problem
• A model of set-theory in which every set of reals is Lebesgue measurable
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• A dichotomy for the definable universe

This page was built for publication: An Ulm-type classification theorem for equivalence relations in Solovay model