Abstract
Many theorems in infinite combinatorics have noneffective proofs. Nerode’s recursive mathematics program [10] involves looking at noneffective proofs and seeing if they can be made effective. The framework is recursion-theoretic. Typically, if a theorem has a noneffective proof, one would find a ‘recursive version’ of it and see if it is true. Usually the recursive version is false, hence the original proof is necessarily noneffective.
Supported in part by NSF grants CCR-8803641 and CCR-9020079.
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
Beigel, R. and W.I. Gasarch [1989], On the complexity of finding the chromatic number of a recursive graph I: The bounded case. Annals of Pure and Applied Logic, 45(1), 1–38.
Even, S., A. Selman and Y. Yacobi [1984], The complexity of promise problems with applications to public-key cryptography. Information and Control, 61(2), 159–173.
Hall, M. [1948], Distinct representatives of subsets. Bull. of the American Math. Soc. 54, 922–926.
Harel, D. [1991], Hamiltonian paths in infinite graphs. Israel J. Mathematics 76, 317–336. (Shorter version appeared in STOC 1991.)
Jockusch, Jr. C.G. [1972], Ramsey’s theorem and recursion theory. J. Symbolic Logic 37, 268–280.
Kierstead, H.A. [1981], An effective version of Dilworth’s theorem. Trans. of the AMS 268, 63–77.
Kierstead, H.A. [1986], Recursive ordered sets. In Combinatorics and Ordered Sets, vol. 57 of Contemporary Mathematics. American Mathematical Society.
König, D. [1926], Sur les correspondances multivoques des ensembles, Fundamenta Mathematicae 26, 114–130.
Manaster, A. and J. Rosenstein [1972], Effective matchmaking. Proc. of the London Math. Soc. 25, 615–654.
Metakides, G. and A. Nerode [1979], Effective content of field theory. Annals of Mathematical Logic 17, 289–320.
Soare, R.I. [1987], Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin.
Specker, E. [1971], Ramsey’s Theorem does not hold in recursive set theory. In Logic Colloquium; 1969 Manchester, 439–442.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media New York
About this chapter
Cite this chapter
Gasarch, W., Martin, G. (1993). Index Sets in Recursive Combinatorics. In: Crossley, J.N., Remmel, J.B., Shore, R.A., Sweedler, M.E. (eds) Logical Methods. Progress in Computer Science and Applied Logic, vol 12. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-0325-4_11
Download citation
DOI: https://doi.org/10.1007/978-1-4612-0325-4_11
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-6708-9
Online ISBN: 978-1-4612-0325-4
eBook Packages: Springer Book Archive