Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bean, D.R., Effective coloration, Journal of Symbolic Logic, 41 (1976), 469–480.
Bean, D.R., Recursive Euler and Hamilton paths, Proceedings of the American Mathematical Society, 55 (1976), 385–394.
Carstens, H.-G., Päppinghaus, P., Recursive coloration of countable graphs, Annals of Pure and Applied Logic, 25 (1983), 19–45.
Carstens, H.-G., Päppinghaus, P., Extensible Algorithms, to appear.
Jockusch, C.G., π 01 clsses and boolean combinations of recursively enumerable sets, Journal of Symbolic Logic, 39 (1974), 95–96.
Kleene, S.C., Recursive functions and intuitionistic mathematics, Proceedings of the International Congress of Mathematicians (Cambridge, Mass., Aug. 30.–Sept. 6, 1950), Providence, R.I., 1954, Vol. 1, 679–685.
Kierstead, H.A., McNulty, G.F., Trotter, W.T., A theory of dimension for recursive ordered sets, to appear.
Kierstead, H.A., Trotter, W.T., An extremal problem in recursive combinatorics, Congressus numerantium, 33 (1981), 143–153.
Manaster, A.B. Rosenstein, J.G., Effective match making (Recursion theoretic aspects of a theorem of Phillip Hall), Proceedings of the London Mathematical Society, 25 (1972), 615–645.
Manaster, A.B., Rosenstein, J.G., Effective match making and k-chromatic graphs, Proceedings of the American Mathematical Society, 39 (1973), 371–379.
Rogers, H. Theory of recursive functions and effective computability, New York 1967.
Schmerl, J.H., Recursive colorings of graphs, Canadian Journal of Mathematics, 32 (1980), 821–830.
Specker, E., Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie, Bulletin de l'Academie Polonaise des Sciences, Sér., Sci. Math. Astronom. Phys., 5 (1957), 1041–1045.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag
About this paper
Cite this paper
Carstens, HG., Päppinghaus, P. (1984). Abstract construction of counterexamples in recursive graph theory. In: Börger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds) Computation and Proof Theory. Lecture Notes in Mathematics, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099478
Download citation
DOI: https://doi.org/10.1007/BFb0099478
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13901-0
Online ISBN: 978-3-540-39119-7
eBook Packages: Springer Book Archive