Author:
Davis Caleb,Hirst Jeffry,Pardo Jake,Ransom Tim
Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Berge, C.: Hypergraphs, North-Holland Mathematical Library, vol. 45. North-Holland Publishing Co., Amsterdam (1989). (Combinatorics of finite sets, Translated from the French)
2. Chong, C.T., Slaman, T.A., Yang, Y.: The metamathematics of stable Ramsey’s theorem for pairs. J. Am. Math. Soc. 27(3), 863–892 (2014).
https://doi.org/10.1090/S0894-0347-2014-00789-X
3. Davis, C., Hirschfeldt, D., Hirst, J., Pardo, J., Pauly, A., Yokoyama, K.: Combinatorial principles equivalent to weak induction (2018) (in preparation)
4. Dorais, F.G., Hirst, J.L., Shafer, P.: Comparing the strength of diagonally nonrecursive functions in the absence of
$${\varSigma }_ {2}^{0}$$
Σ
2
0
induction. J. Symb. Log. 80(4), 1211–1235 (2015).
https://doi.org/10.1017/jsl.2015.43
5. Contemporary Mathematics;JL Hirst,1990
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献