English

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 G0G_0 dichotomy and the 2n+12n + 1 conjecture, hold in the context of higher projective pointclasses. We establish that for n2n \ge 2, the presence of a Δn1\mathbf{\Delta}^1_n-definable well-order of the reals implies χΔn1(G)=χ(G)\chi_{\mathbf{\Delta^1_n}}(G) = \chi(G) for all locally countable Δn1\mathbf{\Delta^1_n}-definable graphs GG, and that the presence of a Δ21\mathbf{\Delta^1_2}-definable well-order of the reals implies χΔ21(G)=χ(G)\chi_{\mathbf{\Delta^1_2}}(G) = \chi(G) for all locally countable Borel graphs GG.

Keywords

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

R2 v1 2026-07-01T12:32:43.505Z