Author:
Dzhafarov Damir D.,Hirst Jeffry L.,Lakins Tamara J.
Publisher
Springer Science and Business Media LLC
Reference11 articles.
1. Cholak P.A., Jockusch C.G., Slaman T.A.: On the strength of Ramsey’s theorem for pairs. J. Symbolic Logic 66, 1–55 (2001)
2. Cholak P.A., Jockusch C.G., Slaman T.A.: Corrigendum to: on the strength of Ramsey’s theorem for pairs. J. Symbolic Logic 74, 1438–1439 (2009)
3. Chong C.T., Lempp S., Yang Y.: On the role of the collection principle for $${\Sigma^0_2}$$ -formulas in second-order reverse mathematics. Proc. Amer. Math. Soc. 138, 1093–1100 (2010)
4. Chubb J., Hirst J.L., McNicholl T.H.: Reverse mathematics, computability, and partitions of trees. J. Symbolic Logic 74, 201–215 (2009)
5. Computability, Reverse Mathematics, and Combinatorics: Open Problems, Banff International Research Station (BIRS), Alberta, Canada (2008) http://robson.birs.ca/~08w5019/problems.pdf . Accessed 7 October 2009
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献