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

Journal of Symbolic Logic 62 (4):1333-1351 (1997)

Authors
Abstract
We prove that in the Solovay model, every OD equivalence relation, E, over the reals, either admits an OD reduction to the equality relation on the set of all countable (of length $ ) binary sequences, or continuously embeds E 0 , the Vitali equivalence. If E is a Σ 1 1 (resp. Σ 1 2 ) relation then the reduction above can be chosen in the class of all ▵ 1 (resp. ▵ 2 ) functions. The proofs are based on a topology generated by OD sets
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275646
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,355
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Linearization of Definable Order Relations.Vladimir Kanovei - 2000 - Annals of Pure and Applied Logic 102 (1-2):69-100.
Countable OD Sets of Reals Belong to the Ground Model.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Archive for Mathematical Logic 57 (3-4):285-298.

Add more citations

Similar books and articles

On Σ1 1 Equivalence Relations with Borel Classes of Bounded Rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
Maximal R.E. Equivalence Relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.
On Non-Wellfounded Iterations of the Perfect Set Forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
? 0 N -Equivalence Relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
Classifying Positive Equivalence Relations.Claudio Bernardi & Andrea Sorbi - 1983 - Journal of Symbolic Logic 48 (3):529-538.

Analytics

Added to PP index
2009-01-28

Total views
33 ( #277,464 of 2,286,113 )

Recent downloads (6 months)
2 ( #571,926 of 2,286,113 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature