paper

Deciding the Chromatic Numbers of Algebraic Hypergrahs

arXiv:1607.01377

Abstract

For each infinite cardinal k, the set of algebraic hypergraphs having chromatic number no larger than k is decidable.