Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. Avigad J.: Formalizing forcing arguments in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 82, 165–191 (1996)
2. Cholak P.A., Jockusch C.G. Jr, Slaman T.A.: On the strength of Ramsey’s theorem for pairs. J. Symb. Log. 66, 1–55 (2001)
3. Cholak P.A., Jockusch C.G. Jr, Slaman T.A.: Corrigendum to: “On the strength of Ramsey’s theorem for pairs”. J. Symb. Log. 74, 1438–1439 (2009)
4. Gaifman, H.: On local arithmetical functions and their application for constructing types of Peano’s arithmetic. In: Mathematical Logic and Foundations of Set Theory (Proceedings of International Colloquium, Jerusalem, 1968) North-Holland, Amsterdam, pp. 105–121 (1970)
5. Hájek, P.: Interpretability and fragments of arithmetic. In: Clote, P., Krajíček, J. (eds.) Arithmetic, Proof Theory, and Computational Complexity (Prague, 1991), Oxford Logic Guides, vol. 23. Oxford University Press, New York, 1993, pp. 185–196
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献