×

\(\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].

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
PDFBibTeX XMLCite