Deciding the Chromatic Numbers of Algebraic Hypergrahs
  For each infinite cardinal k, the set of algebraic hypergraphs having chromatic number no larger than k is decidable. 
James H. Schmerl
math.LO math.CO