Brattka, Vasco; Gherardi, Guido; Pauly, Arno Weihrauch complexity in computable analysis. (English) Zbl 07464650 Brattka, Vasco (ed.) et al., Handbook of computability and complexity in analysis. Cham: Springer. Theory Appl. Comput., 367-417 (2021). MSC: 03D78 PDFBibTeX XMLCite \textit{V. Brattka} et al., in: Handbook of computability and complexity in analysis. Cham: Springer. 367--417 (2021; Zbl 07464650) Full Text: DOI arXiv
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert; Pauly, Arno The Vitali covering theorem in the Weihrauch lattice. (English) Zbl 1485.03241 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 188-200 (2017). MSC: 03F35 03B30 03D78 03F60 28E15 PDFBibTeX XMLCite \textit{V. Brattka} et al., Lect. Notes Comput. Sci. 10010, 188--200 (2017; Zbl 1485.03241) Full Text: DOI arXiv Link
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert Probabilistic computability and choice. (English) Zbl 1320.03071 Inf. Comput. 242, 249-286 (2015). MSC: 03D10 03D78 03F35 68Q05 68W20 PDFBibTeX XMLCite \textit{V. Brattka} et al., Inf. Comput. 242, 249--286 (2015; Zbl 1320.03071) Full Text: DOI arXiv
Brattka, Vasco; Gherardi, Guido; Marcone, Alberto The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma. (English) Zbl 1245.03097 Ann. Pure Appl. Logic 163, No. 6, 623-655 (2012); addendum ibid. 168, No. 8, 1605-1608 (2017). Reviewer: Iris Loeb (Christchurch) MSC: 03F60 03B30 03D30 03E15 PDFBibTeX XMLCite \textit{V. Brattka} et al., Ann. Pure Appl. Logic 163, No. 6, 623--655 (2012; Zbl 1245.03097) Full Text: DOI arXiv Backlinks: MO