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 Completion of choice. (English) Zbl 1462.03019 Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D78 03B30 03D30 03F60 03F35 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021; Zbl 1462.03019) Full Text: DOI arXiv
Brattka, Vasco; Gherardi, Guido Weihrauch goes Brouwerian. (English) Zbl 1485.03156 J. Symb. Log. 85, No. 4, 1614-1653 (2020). MSC: 03D30 03D78 03F52 03F60 06D20 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, J. Symb. Log. 85, No. 4, 1614--1653 (2020; Zbl 1485.03156) Full Text: DOI arXiv
Brattka, Vasco; Cettolo, Andrea; Gherardi, Guido; Marcone, Alberto; Schröder, Matthias Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak Kőnig’s lemma”. (English) Zbl 1403.03127 Ann. Pure Appl. Logic 168, No. 8, 1605-1608 (2017). MSC: 03F60 03B30 03D30 03E15 PDFBibTeX XMLCite \textit{V. Brattka} et al., Ann. Pure Appl. Logic 168, No. 8, 1605--1608 (2017; Zbl 1403.03127) Full Text: DOI
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 Las Vegas computability and algorithmic randomness. (English) Zbl 1355.68132 Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 130-142 (2015). MSC: 68Q30 03D32 91A10 PDFBibTeX XMLCite \textit{V. Brattka} et al., LIPIcs -- Leibniz Int. Proc. Inform. 30, 130--142 (2015; Zbl 1355.68132) Full Text: DOI
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
Brattka, Vasco; Gherardi, Guido Effective choice and boundedness principles in computable analysis. (English) Zbl 1226.03062 Bull. Symb. Log. 17, No. 1, 73-117 (2011). Reviewer: Iris Loeb (Christchurch) MSC: 03F60 03B30 03D30 03D45 03E15 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, Bull. Symb. Log. 17, No. 1, 73--117 (2011; Zbl 1226.03062) Full Text: DOI arXiv Link
Brattka, Vasco; Gherardi, Guido Weihrauch degrees, omniscience principles and weak computability. (English) Zbl 1222.03071 J. Symb. Log. 76, No. 1, 143-176 (2011). Reviewer: Iris Loeb (Christchurch) MSC: 03F60 03B30 03D30 03D45 03E15 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, J. Symb. Log. 76, No. 1, 143--176 (2011; Zbl 1222.03071) Full Text: DOI arXiv Link
Brattka, Vasco; Gherardi, Guido Effective choice and boundedness principles in computable analysis. (English) Zbl 1247.03128 Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009). MSC: 03F60 03E15 03F35 46S30 47S30 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, OASIcs -- OpenAccess Ser. Inform. 11, 12 p. (2009; Zbl 1247.03128) Full Text: DOI
Brattka, Vasco; Gherardi, Guido Weihrauch degrees, omniscience principles and weak computability. (English) Zbl 1247.03127 Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009). MSC: 03F60 03E15 03F35 46S30 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, OASIcs -- OpenAccess Ser. Inform. 11, 12 p. (2009; Zbl 1247.03127) Full Text: DOI
Brattka, Vasco; Gherardi, Guido Borel complexity of topological operations on computable metric spaces. (English) Zbl 1169.03047 J. Log. Comput. 19, No. 1, 45-76 (2009). Reviewer: Dieter Spreen (Siegen) MSC: 03F60 03D45 03E15 54H05 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, J. Log. Comput. 19, No. 1, 45--76 (2009; Zbl 1169.03047) Full Text: DOI Link
Brattka, Vasco; Gherardi, Guido Borel complexity of topological operations on computable metric spaces. (English) Zbl 1139.03032 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 83-97 (2007). MSC: 03D45 03E15 54H05 PDFBibTeX XMLCite \textit{V. Brattka} and \textit{G. Gherardi}, Lect. Notes Comput. Sci. 4497, 83--97 (2007; Zbl 1139.03032) Full Text: DOI