A separation result for countable unions of Borel rectangles

DOI10.1017/JSL.2019.13MaRDI QIDQ5222522zbMATH OpenOpenAlexFDO

Authors Dominique Lecomte

Publication date 6 April 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.00642

zbMATH Keywords

Borel classBorel rectanglecountable Borel coloring

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We provide dichotomy results characterizing when two disjoint analytic binary relations can be separated by a countable union of $$ sets, or by a $$ set.

Recommendations

• Descriptive complexity of countable unions of Borel rectangles
• Separation by ambivalent sets
• scientific article; zbMATH DE number 4006272
• Half of an inseparable pair
• Separating equivalence classes

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• A Separation Theorem for ∑ 1 1 Sets
• A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension
• Baire-class \(\xi\) colorings: the first three levels
• Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results
• Borel chromatic numbers
• Borel liftings of Borel sets: some decidable and undecidable statements
• Descriptive set theory
• How can we recognize potentially \(\boldsymbol\Pi^0_\xi\) subsets of the plane?
• On minimal non-potentially closed subsets of the plane
• Potential Wadge classes
• Separation of analytic sets by rectangles of low complexity
• The graph-theoretic approach to descriptive set theory

Cited in

(3)

• On the complexity of Borel equivalence relations with some countability property
• Descriptive complexity of countable unions of Borel rectangles
• Some applications of positive formulas in descriptive set theory and logic

This page was built for publication: A separation result for countable unions of Borel rectangles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222522)