English

Descriptive complexity of countable unions of Borel rectangles

Logic 2013-08-22 v1 General Topology

Abstract

We give, for each countable ordinal ξ1\xi \geq 1, an example of a Δ20{\bf\Delta}^0_2 countable union of Borel rectangles that cannot be decomposed into countably many Πξ0{\bf\Pi}^0_\xi rectangles. In fact, we provide a graph of a partial injection with disjoint domain and range, which is a difference of two closed sets, and which has no Δξ0{\bf\Delta}^0_\xi-measurable countable coloring.

Keywords

Cite

@article{arxiv.1308.4540,
  title  = {Descriptive complexity of countable unions of Borel rectangles},
  author = {Dominique Lecomte and Miroslav Zeleny},
  journal= {arXiv preprint arXiv:1308.4540},
  year   = {2013}
}