Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. Cholak, P. A., C. G. Jockusch, and T. A. Slaman, On the strength of Ramsey’s theorem for pairs, The Journal of Symbolic Logic 66(1): 1–55, 2001.
2. Chong, C. T., T. A. Slaman, and Y. Yang, The inductive strength of Ramsey’s theorem for pairs, Advances in Mathematics 308: 121–141, 2017.
3. Hirst, J. L., Combinatorics in Subsystems of Second Order Arithmetic. Ph.D. thesis, Pennsylvania State University, 1987.
4. Jockusch, C. G., Ramsey’s theorem and recursion theory, The Journal of Symbolic Logic 37(2): 268–280, 1972.
5. Jockusch, C. G., and R. I. Soare, $$\Pi ^0_1$$ Π 1 0 classes and degrees of theories, Transactions of the American Mathematical Society 361: 5805–5837, 1972.