A weak dichotomy below E₁ times E₃
classification
🧮 math.LO
keywords
borelreducibleeithertimesadmitsbelowcasecountable
read the original abstract
If E is an equivalence relation Borel reducible to E_1 \times E_3 then either E is Borel reducible to the equality of countable sets of reals or E_1 is Borel reducible to E. The "either" case admits further strengthening.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.