Author:
Dzhafarov Damir D.,Patey Ludovic
Funder
National Science Foundation
Reference34 articles.
1. Generics for computable Mathias forcing;Cholak;Ann. Pure Appl. Logic,2014
2. On the strength of Ramsey's theorem for pairs;Cholak;J. Symbolic Logic,2001
3. Nonstandard models in recursion theory and reverse mathematics;Chong;Bull. Symbolic Logic,2014
4. J. Chubb, J.L. Hirst, T.H. McNicholl, Reverse mathematics and partitions of trees, 2005.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献