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

DOI10.2307/2275646MaRDI QIDQ4382479zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei

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

enumerationreductionSolovay modelreal-ordinal definable equivalence relations

Mathematics Subject Classification ID

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

Abstract: We prove that in Solovay model every OD equivalence E on reals either admits an OD reduction to the equality on the set of all countable (of length < omega_1) binary sequences, or continuously embeds E_0, the Vitali equivalence. If E is a Sigma_1^1 (resp. Sigma_1^2) relation then the reduction in the ``either part can be chosen in the class of all Delta_1 (resp. Delta_2) functions. The proofs are based on a topology generated by OD sets.

Recommendations

• Ulm Classification of Analytic Equivalence Relations in Generic Universes
• Some natural equivalence relations in the Solovay model
• Reductions on equivalence relations generated by universal sets
• Thin equivalence relations and effective decompositions

Cites work

• A dichotomy for the definable universe
• 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
• On Lusin's restricted continuum problem

Cited in

(12)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382479)