Mathematics – Logic
Scientific paper
1995-08-02
Mathematics
Logic
Scientific paper
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.
No associations
LandOfFree
On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-83226