Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli, Interpolation Theorem for First-Order Theories, «THE BULLETIN OF SYMBOLIC LOGIC», 2017, 23, pp. 243 - 244 [Abstract]
Vasco Brattka; Guido Gherardi; Rupert Hölzl; Arno Pauly, The Vitali Covering Theorem in the Weihrauch Lattice, in: Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond, Computability and Complexity, Cham, Springer, 2017, pp. 188 - 200 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]Open Access
Vasco Brattka; Guido Gherardi; Rupert Hölzl, Las Vegas computability and algorithmic randomness, in: 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015, pp. 130 - 142 (atti di: STACS 2015, München, 04/07/2015-07/03/2015) [Contribution to conference proceedings]Open Access
Vasco Brattka; Guido Gherardi; Rupert Hölzl, Probabilistic computability and choice, «INFORMATION AND COMPUTATION», 2015, 242, pp. 249 - 286 [Scientific article]Open Access
Vasco Brattka; Guido Gherardi; Alberto Marcone, The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma, «ANNALS OF PURE AND APPLIED LOGIC», 2012, 163, pp. 623 - 655 [Scientific article]
GUIDO GHERARDI, Alan Turing and the foundations of computable analysis, «THE BULLETIN OF SYMBOLIC LOGIC», 2011, 17, pp. 394 - 430 [Scientific article]
VASCO BRATTKA; GUIDO GHERARDI, Effective choice and boundedness principles in computable analysis, «THE BULLETIN OF SYMBOLIC LOGIC», 2011, 17, pp. 73 - 117 [Scientific article]
G. Gherardi, La matematica della mente: il pensiero come calcolo in Hobbes e Boole, «DISCIPLINE FILOSOFICHE», 2011, XXI 1, pp. 153 - 177 [Scientific article]
Guido Gherardi, Teoremi dell'analisi e gradi di incomputabilità, in: La ricerca logica in Italia. Studi in onore di Corrado Mangione, MILANO, Cisalpino, 2011, pp. 357 - 378 [Chapter or essay]
VASCO BRATTKA; GUIDO GHERARDI, Weihrauch degrees, omniscience principles and weak computability, «THE JOURNAL OF SYMBOLIC LOGIC», 2011, 76, pp. 143 - 176 [Scientific article]
VASCO BRATTKA; GUIDO GHERARDI, Borel complexity of topological operations on computable metric spaces, «JOURNAL OF LOGIC AND COMPUTATION», 2009, 19, pp. 45 - 76 [Scientific article]
Guido Gherardi; Alberto Marcone, How incomputable is the separable Hahn-Banach Theorem?, «NOTRE DAME JOURNAL OF FORMAL LOGIC», 2009, 50, pp. 393 - 425 [Scientific article]
Guido Gherardi, Computability and incomputability of differential equations, in: Deduction, Computation, Experiment, MILANO, Springer, 2008, pp. 223 - 242 [Chapter or essay]
Guido, Gherardi; Alberto, Marcone, How Incomputable is the Separable Hahn-Banach Theorem?, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 221, pp. 85 - 102 [Scientific article]
Gherardi G., Paradigmi di computazione per i numeri reali, «LA MATEMATICA NELLA SOCIETÀ E NELLA CULTURA», 2008, 1, pp. 525 - 554 [Scientific article]
