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

DOI10.2307/2275646zbMATH Open0895.03020arXivmath/9507213OpenAlexW2011090262MaRDI QIDQ4382479FDOQ4382479

Authors: Vladimir Kanovei 

Publication date: 2 September 1998

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

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.

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

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

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)

Cites Work

• 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
• On Lusin's restricted continuum problem

Cited In (11)

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

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)