Author:
Seetapun David,Slaman Theodore A.
Reference11 articles.
1. Brown, D. K., and S. G. Simpson, “The Baire category theorem in weak subsystems of second-order arithmetic,” The Journal of Symbolic Logic, vol. 58 (1993), pp. 557–578. Zbl 0794.03085 MR 94j:03118
2. Friedberg, R. M., “A criterion for completeness of degrees of unsolvability,” The Journal of Symbolic Logic, vol. 22 (1957), pp. 159–160. Zbl 0078.00602 MR 20:4488
3. Friedman, H., “Some systems of second order arithmetic and their use,” pp. 235–242 in Proceedings of the International Congress of Mathematicians, Canada, 1974 vol. 1, Canadian Mathematical Congress, 1975. Zbl 0344.02022 MR 55:2521
4. Hummel, T. L., “Effective versions of Ramsey's theorem: avoiding the cone above $\mbox{\bfseries{0}}'$,” The Journal of Symbolic Logic, vol. 59 (1994), pp. 1301–1325. Zbl 0815.03028 MR 95j:03080
5. Jockusch, Jr., C. G., “Ramsey's theorem and recursion theory,” The Journal of Symbolic Logic, vol. 37 (1972), pp. 268–280. Zbl 0262.02042 MR 51:12495
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献