Publisher
Springer Nature Switzerland
Reference31 articles.
1. Avigad, J., Feferman, S.: Gödel’s functional (“Dialectic’’) interpretation, handbook of proof theory. Stud. Logic Found. Math. 137, 337–405 (1998)
2. Baire, R.: Sur les fonctions de variables réelles. Annali di Matematica Pura ed Applicata (1898-1922) 3(1), 1–123 (1899). https://doi.org/10.1007/BF02419243
3. Barrett, J.M., Downey, R.G., Greenberg, N.: Cousin’s lemma in second-order arithmetic. Preprint, arxiv: https://arxiv.org/abs/2105.02975 (2021)
4. Bishop, E.: Foundations of constructive analysis. McGraw-Hill (1967)
5. Borsík, J., Doboš, J.: A note on real cliquish functions, Real Anal. Exchange 18(1), 139–145 (1992/93)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献