arXiv Analytics

Sign in

arXiv:math/9507213 [math.LO]AbstractReferencesReviewsResources

On a Glimm -- Effros dichotomy and an Ulm--type classification in Solovay model

Vladimir Kanovei

Published 1995-07-26Version 1

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.

Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1408.1202 [math.LO] (Published 2014-08-06)
Linearization of partial quasi-orderings in the Solovay model revisited
arXiv:1603.04237 [math.LO] (Published 2016-03-14)
OD elements of countable OD sets in the Solovay model
arXiv:math/9606205 [math.LO] (Published 1996-06-05)
On a dichotomy related to colourings of definable graphs in generic models

Links

Toolbox