Publisher
Springer International Publishing
Reference20 articles.
1. Berger, J., Ishihara, H., Kihara, T., Nemoto, T.: The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Logic 58, 203–217 (2018). https://doi.org/10.1007/s00153-018-0627-2
2. Berger, J., Ishihara, H., Schuster, P.: The weak König lemma, Brouwer’s fan theorem, de Morgan’s law, and dependent choice. Rep. Math. Logic 47, 63 (2012)
3. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill Book Co., New York (1967)
4. Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. Bull. Symb. Logic 17(1), 73–117 (2011)
5. Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. J. Symb. Logic 76(1), 143–176 (2011)