Unable to display preview. Download preview PDF.
- 3.Hirst, J. L., Combinatorics in Subsystems of Second Order Arithmetic. Ph.D. thesis, Pennsylvania State University, 1987.Google Scholar
- 5.Jockusch, C. G., and R. I. Soare, \(\Pi ^0_1\) classes and degrees of theories, Transactions of the American Mathematical Society 361: 5805–5837, 1972.Google Scholar
- 7.Patey, L., and K. Yokoyama, The proof-theoretic strength of Ramsey’s theorem for pairs and two colors, 2016. arXiv:1601.00050v3
- 10.Specker, E., Ramsey’s Theorem does not hold in recursive set theory, in R. O. Gandy, and C. M. E. Yates, (eds.), Logic Colloquium ’69, vol. 61 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1971, pp. 439–442.Google Scholar
© Springer Science+Business Media B.V. 2017