A separation result for countable unions of Borel rectangles

Dominique Lecomte (1)

1 IMJ - Institut de Mathématiques de Jussieu

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.

Mots clés: Borel class; countable Borel coloring; Borel rectangle

Domaines: Logique [math.LO]

Dominique Lecomte. A separation result for countable unions of Borel rectangles. 2017. ⟨hal-01571205⟩