English

A complexity problem for Borel graphs

Logic 2021-05-28 v3

Abstract

We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on [N]<N[\mathbb{N}]^{<\mathbb{N}} with finite (or, equivalently, 3\leq 3) Borel chromatic number form a Σ21\mathbf{\Sigma}^1_2-complete set. This answers a question of Kechris and Marks and strengthens several earlier results.

Keywords

Cite

@article{arxiv.1710.05079,
  title  = {A complexity problem for Borel graphs},
  author = {Stevo Todorčević and Zoltán Vidnyánszky},
  journal= {arXiv preprint arXiv:1710.05079},
  year   = {2021}
}
R2 v1 2026-06-22T22:13:18.036Z