Publisher
Springer International Publishing
Reference19 articles.
1. Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. J. Symb. Log. 76(1), 143–176 (2011)
2. Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. Bull. Symb. Log. 17(1), 73–117 (2011)
3. Bridges, D.S., Richman, F.: Varieties of constructive mathematics. London Math. Soc. Lecture Notes, vol. 97. Cambridge University Press, Cambridge (1987)
4. Dorais, F.G.: Classical consequences of continuous choice principles from intuitionistic analysis. Notre Dame J. Formal Logic 55, 25–39 (2014)
5. Dorais, F.G., Hirst, J.L., Shafer, P.: Reverse mathematics, trichotomy, and dichotomy. J. Logic Anal. 4(13), 1–14 (2012)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献