A weak dichotomy below E1 × E3
Abstract
If E is an equivalence relation Borel reducible to E1 × E3 then either E is Borel reducible to the equality of countable sets of reals or E1 is Borel reducible to E. The "either" case admits further strengthening.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.