Voir la notice de l'article provenant de la source Cambridge University Press
Schmerl, James H. Recursive Colorings of Graphs. Canadian journal of mathematics, Tome 32 (1980) no. 4, pp. 821-830. doi: 10.4153/CJM-1980-062-7
@article{10_4153_CJM_1980_062_7,
author = {Schmerl, James H.},
title = {Recursive {Colorings} of {Graphs}},
journal = {Canadian journal of mathematics},
pages = {821--830},
year = {1980},
volume = {32},
number = {4},
doi = {10.4153/CJM-1980-062-7},
url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1980-062-7/}
}
[1] 1. Bean, D. R., Effective coloration, J. Symbolic Logic 41 (1976), 469–480. Google Scholar
[2] 2. Jockusch, C. G. Jr., Π 0 classes and Boolean combinations of recursively enumerable sets, J. Symbolic Logic 30 (1974), 95–96. Google Scholar
[3] 3. Manaster, A. and Rosenstein, J., Effective matchmaking and k-chromatic graphs, Proc. Amer. Math. Soc. 39 (1973), 371–378. Google Scholar
[4] 4. Schmerl, J. H., The effective version of Brooks’ theorem (in preparation). Google Scholar | DOI
[5] 5. Specker, E., Eine Verschdrfung des Unvollständigkeitssatzes der Zahlentheorie, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 5 (1957). Google Scholar
Cité par Sources :