Publisher
Springer International Publishing
Reference35 articles.
1. Avigad, J., Feferman, S.: Gödel’s functional (“dialectica”) interpretation. In: Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 337–405 (1998)
2. Bartle, R.G.: Nets and filters in topology. Am. Math. Mon. 62, 551–557 (1955)
3. Brown, D.K.: Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic. In: Logic and Computation, Pittsburgh, PA (1987). Contemporary Mathematics, vol. 106, pp. 39–50. American Mathematical Society, Providence, RI (1990)
4. Brown, D.K.: Notions of compactness in weak subsystems of second order arithmetic. In: Simpson, S. (ed.) Reverse Mathematics 2001. Perspectives in Logic, pp. 47–66. Association for Symbolic Logic, Urbana, IL (2005)
5. Dorais, F.G., Hirst, J.L., Shafer, P.: Reverse mathematics, trichotomy and dichotomy. J. Log. Anal. 4, 14 (2012). Paper 13
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献