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 with finite (or, equivalently, ) Borel chromatic number form a -complete set. This answers a question of Kechris and Marks and strengthens several earlier results.
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}
}