Author:
Pauly Arno,Soldà Giovanni
Publisher
Springer Nature Switzerland
Reference25 articles.
1. Brattka, V.: Recursive and computable operations over topological structures. Ph.D. thesis, FernUniversität Hagen (1999), informatik Berichte 255
2. Brattka, V.: The discontinuity problem. J. Symbolic Logic 88(3), 1191–1212 (2023). https://doi.org/10.1017/jsl.2021.106
3. Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163(8), 986–1008 (2012). https://doi.org/10.1016/j.apal.2011.12.020
4. Brattka, V., Gherardi, G.: Weihrauch goes Brouwerian. J. Symbolic Logic 85(4), 1614–1653 (2020). https://doi.org/10.1017/JSL.2020.76
5. Brattka, V., Gherardi, G.: Completion of choice. Ann. Pure Appl. Log. 172(3), 102914 (2021). https://doi.org/10.1016/J.APAL.2020.102914