Ramsey's theorem and recursion theory
Journal of Symbolic Logic 37 (2):268-280 (1972)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2272972 |
| Options |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 27,678
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
The Degrees of Bi-Immune Sets.Carl G. Jockusch - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):135-140.
The Degrees of Bi‐Immune Sets.Carl G. Jockusch - 1969 - Mathematical Logic Quarterly 15 (7‐12):135-140.
Arithmetical Sets and Retracing Functions.C. E. M. Yates - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (13-14):193-204.
Citations of this work BETA
An Intuitionistic Version of Ramsey's Theorem and its Use in Program Termination.Stefano Berardi & Silvia Steila - 2015 - Annals of Pure and Applied Logic 166 (12):1382-1406.
Countable Algebra and Set Existence axioms11Research Partially Supported by NSF Grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's Research Was Also Supported by an Alfred P. Sloan Research Fellowship. [REVIEW]Harvey M. Friedman, Stephen G. Simpson & Rick L. Smith - 1983 - Annals of Pure and Applied Logic 25 (2):141-181.
Nonstandard Models in Recursion Theory and Reverse Mathematics.C. T. Chong, Wei Li & Yue Yang - 2014 - Bulletin of Symbolic Logic 20 (2):170-200.
View all 13 citations / Add more citations
Similar books and articlesEffective Versions of Ramsey's Theorem: Avoiding the Cone Above 0'.Tamara Lakins Hummel - 1994 - Journal of Symbolic Logic 59 (4):1301-1325.
On the Ramsey Property for Sets of Reals.Ilias G. Kastanas - 1983 - Journal of Symbolic Logic 48 (4):1035-1045.
On the Strength of Ramsey's Theorem for Pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Monthly downloads
Added to index
2009-01-28Total downloads
23 ( #218,794 of 2,170,061 )Recent downloads (6 months)
1 ( #345,514 of 2,170,061 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
