A separation result for countable unions of Borel rectangles
Résumé
We provide dichotomy results characterizing when two disjoint analytic binary relations can be separated by a countable union of Σ 0 1 ×Σ 0 ξ sets, or by a Π 0 1 ×Π 0 ξ set.
Domaines
Logique [math.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...