Projective Chromatic Numbers
Logic
2026-04-24 v1
Abstract
We extend classical notions of definable colourability of graphs to the general projective setting and investigate whether known results, mainly about the dichotomy and the conjecture, hold in the context of higher projective pointclasses. We establish that for , the presence of a -definable well-order of the reals implies for all locally countable -definable graphs , and that the presence of a -definable well-order of the reals implies for all locally countable Borel graphs .
Cite
@article{arxiv.2604.21813,
title = {Projective Chromatic Numbers},
author = {Adrian Rettich and Luke Serafin},
journal= {arXiv preprint arXiv:2604.21813},
year = {2026}
}
Comments
21 pages