Cenzer, Douglas \(\Pi_1^0\) classes in computability theory. (English) Zbl 0939.03047 Griffor, Edward R. (ed.), Handbook of computability theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 140, 37-85 (1999). A very nice survey on recent results on \(\Pi_0^1\) classes classes and their applications to logical theories and graph-coloring. Finally two open problems are mentioned.For the entire collection see [Zbl 0923.03001]. Reviewer: C.Calude (Auckland) Cited in 24 Documents MSC: 03D55 Hierarchies of computability and definability 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 05C15 Coloring of graphs and hypergraphs 03D25 Recursively (computably) enumerable sets and degrees Keywords:survey; logical theories; graph-coloring; \(\Pi_0^1\) classes PDFBibTeX XMLCite \textit{D. Cenzer}, Stud. Logic Found. Math. 140, 37--85 (1999; Zbl 0939.03047)