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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Supported in part by NSF grants CCR-8803641 and CCR-9020079.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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