Ulm Classification of Analytic Equivalence Relations in Generic Universes

DOI10.1002/MALQ.19980440302MaRDI QIDQ4210833zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei

Publication date 21 September 1999

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

analytic setreduction of one equivalence relation to anotherUlm classificationVitali equivalence relation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Abstract: We prove that if every real belongs to a set generic extension of the constructible universe then every Sigma_1^1 equivalence E on reals either admits a Delta_1^HC reduction to the equality on the set 2^{<om_1} of all countable binary sequences, or continuously embeds E_0, the Vitali equivalence. The proofs are based on a topology generated by OD sets.

Recommendations

• Analytic equivalence relations and Ulm-type classifications
• An Ulm-type classification theorem for equivalence relations in Solovay model
• scientific article; zbMATH DE number 3900185
• Reductions on equivalence relations generated by universal sets
• A domain theoretic characterisation of the universal relation
• Universal computably enumerable equivalence relations
• Degree-invariant, analytic equivalence relations without perfectly many classes
• scientific article; zbMATH DE number 222233
• Compact universal relation in varieties with constants
• Classifying equivalence relations in the Ershov hierarchy

Cites work

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

Cited in

(7)

• Some natural equivalence relations in the Solovay model
• Linearization of definable order relations
• An Ulm-type classification theorem for equivalence relations in Solovay model
• A dichotomy for the definable universe
• A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes
• Reductions on equivalence relations generated by universal sets
• Equivalence of codes for countable sets of reals

This page was built for publication: Ulm Classification of Analytic Equivalence Relations in Generic Universes

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