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...