No CrossRef data available.
Article contents
A SEPARATION RESULT FOR COUNTABLE UNIONS OF BOREL RECTANGLES
Published online by Cambridge University Press: 22 February 2019
Abstract
We provide dichotomy results characterizing when two disjoint analytic binary relations can be separated by a countable union of ${\bf{\Sigma }}_1^0 \times {\bf{\Sigma }}_\xi ^0$ sets, or by a ${\bf{\Pi }}_1^0 \times {\bf{\Pi }}_\xi ^0$ set.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019