Publisher
Springer Science and Business Media LLC
Reference13 articles.
1. Alexandroff, P.: Über die Metrisation der im Kleinen kompakten topologischen Räume. Math. Ann.92, 294?301 (1924)
2. Contemporary Math.;D. Brown,1990
3. Brown, D., Simpson, S.: Which set existence axioms are needed to prove the Hahn-Banach theorem for separable Banach spaces? Ann. Pure Appl. Logic31, 132?144 (1986)
4. Friedmann, H.: Some systems of second order arithmetic and their use. In: James, R. (ed.) Proceedings of the International Congress of Mathematicians. (vol. 1, pp. 235?242) Vancouver: Canadian Mathematical Congress 1975
5. Friedman, H.: Systems of second order arithmetic with restricted induction (abstracts). J. Symb. Logic41, 557?559 (1976)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献