2021
- Brattka, Vasco and Gherardi, Guido, Completion of Choice, Annals of Pure and Applied Logic 172:3 (2021) 102914
- Brattka, Vasco and Gherardi, Guido and Pauly, Arno, Weihrauch Complexity in Computable Analysis, in: Brattka, Vasco and Hertling, Peter (eds.), Handbook of Computability and Complexity in Analysis, Theory and Applications of Computability, Springer, Cham, 2021, pages 367-417
2020
2019
- Brattka, Vasco and Gherardi, Guido, Completion of Choice, arXiv 1910.13186 (2019)
- Gherardi, Guido and Marcone, Alberto and Pauly, Arno, Projection operators in the Weihrauch lattice, Computability 8:3, 4 (2019) 281-304
2018
2017
- Brattka, Vasco and Cettolo, Andrea and Gherardi, Guido and Marcone, Alberto and Schröder, Matthias, Addendum to: "The Bolzano-Weierstrass Theorem is the Jump of Weak Kőnig's Lemma", Annals of Pure and Applied Logic 168:8 (2017) 1605-1608
- Brattka, Vasco and Cettolo, Andrea and Gherardi, Guido and Marcone, Alberto and Schröder, Matthias, Addendum to: "The Bolzano-Weierstrass Theorem is the Jump of Weak Kőnig's Lemma", arXiv 1101.0792 (2017)
- Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert and Pauly, Arno, The Vitali Covering Theorem in the Weihrauch Lattice, in: Day, Adam and Fellows, Michael and Greenberg, Noam and Khoussainov, Bakhadyr and Melnikov, Alexander and Rosamond, Frances (eds.), Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, vol. 10010 of Lecture Notes in Computer Science, Springer, Cham, 2017, pages 188-200
- Brattka, Vasco and Gherardi, Guido and Pauly, Arno, Weihrauch Complexity in Computable Analysis, arXiv 1707.03202 (2017)
2016
2015
- Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert, Las Vegas Computability and Algorithmic Randomness, in: Mayr, Ernst W. and Ollinger, Nicolas (eds.), 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), vol. 30 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015, pages 130-142
- Brattka, Vasco and Gherardi, Guido and Hölzl, Rupert, Probabilistic Computability and Choice, Information and Computation 242 (2015) 249-286
2013
2012
2011
- Brattka, Vasco and Gherardi, Guido, Weihrauch Degrees, Omniscience Principles and Weak Computability, The Journal of Symbolic Logic 76:1 (2011) 143-176
- Brattka, Vasco and Gherardi, Guido, Effective Choice and Boundedness Principles in Computable Analysis, The Bulletin of Symbolic Logic 17:1 (2011) 73-117
- Brattka, Vasco and Gherardi, Guido and Marcone, Alberto, The Bolzano-Weierstrass Theorem is the Jump of Weak Kőnig's Lemma, arXiv 1101.0792 (2011)
- Gherardi, Guido, Teoremi dell'analisi e gradi di incomputabilità, in: Ballo, Edoardo and Cellucci, Carlo (eds.), La ricerca logica in Italia. Studi in onore di Corrado Mangione, Cisalpino Editore, 2011, pages 357-378
- Gherardi, Guido, Alan Turing and the foundations of computable analysis, Bull. Symbolic Logic 17:3 (2011) 394-430
- Gherardi, Guido, La matematica della mente: il pensiero come calcolo in Hobbes e Boole, Discipline Filosofiche 21:1 (2011) 153-177
2009
- Brattka, Vasco and Gherardi, Guido, Weihrauch Degrees, Omniscience Principles and Weak Computability, in: Bauer, Andrej and Hertling, Peter and Ko, Ker-I (eds.), CCA 2009, Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Leibniz-Zentrum für Informatik, Schloss Dagstuhl, Germany, 2009, pages 83-94
- Brattka, Vasco and Gherardi, Guido, Effective Choice and Boundedness Principles in Computable Analysis, in: Bauer, Andrej and Hertling, Peter and Ko, Ker-I (eds.), CCA 2009, Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Leibniz-Zentrum für Informatik, Schloss Dagstuhl, Germany, 2009, pages 95-106
- Brattka, Vasco and Gherardi, Guido, Borel Complexity of Topological Operations on Computable Metric Spaces, Journal of Logic and Computation 19:1 (2009) 45-76
- Brattka, Vasco and Gherardi, Guido, Effective Choice and Boundedness Principles in Computable Analysis, arXiv 0905.4685 (2009)
- Brattka, Vasco and Gherardi, Guido, Weihrauch Degrees, Omniscience Principles and Weak Computability, arXiv 0905.4679 (2009)
- Gherardi, Guido and Marcone, Alberto, How Incomputable is the Separable Hahn-Banach Theorem?, Notre Dame Journal of Formal Logic 50:4 (2009) 393-425
2008
- Gherardi, Guido, Computability and incomputability of differential equations, in: Corsi, Giovanna and Lupacchini, Rossella (eds.), Deduction, Computation, Experiment, Springer Verlag, Milano, 2008, pages 223-242
- Gherardi, Guido, Paradigmi di computazione per i numeri reali, La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana 1:1 (2008) 525-554
- Gherardi, Guido and Marcone, Alberto, How Incomputable is the Separable Hahn-Banach Theorem?, in: Brattka, Vasco and Dillhage, Ruth and Grubba, Tanja and Klutsch, Angela (eds.), CCA 2008, Fifth International Conference on Computability and Complexity in Analysis, vol. 221 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008, pages 85-102
2007
- Brattka, Vasco and Gherardi, Guido, Borel Complexity of Topological Operations on Computable Metric Spaces, in: Cooper, S. Barry and Löwe, Benedikt and Sorbi, Andrea (eds.), Computation and Logic in the Real World, vol. 4497 of Lecture Notes in Computer Science, Springer, Berlin, 2007, pages 83-97
- Gherardi, Guido, Internal Computability, in: Cooper, S. Barry and Löwe, Benedikt and Sorbi, Andrea (eds.), Computation and Logic in the Real World, vol. 4497 of Lecture Notes in Computer Science, Springer, Berlin, 2007, pages 348-357
2006
- Gherardi, Guido, An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability, in: Beckmann, A. and Berger, U. and Löwe, B. and Tucker, J.V. (eds.), Logical Approaches to Computational Barriers, vol. 3988 of Lecture Notes in Computer Science, Springer, Berlin, 2006, pages 199-208
- Gherardi, Guido, Effective Borel degrees of some topological functions, Mathematical Logic Quarterly 52:6 (2006) 625-642
- Gherardi, Guido, Some Results in Computable Analysis and Effective Borel Measurability, PhD thesis, University of Siena, Department of Mathematics and Computer Science, Siena, 2006
This publication list has currently 36 entries
