Guido Gherardi

Available identifiers

zbMath Open gherardi.guidoWikidataQ124497933 ScholiaQ124497933MaRDI QIDQ408155

List of research outcomes

Publication	Date of Publication	Type
Non-normal super-strict implications	2025-01-09	Paper
Proof systems for super-strict implication	2024-04-10	Paper
Weihrauch Complexity in Computable Analysis	2022-01-26	Paper
Super-Strict Implications	2021-07-07	Paper
WEIHRAUCH GOES BROUWERIAN	2021-04-15	Paper
Completion of choice	2021-01-25	Paper
Interpolation in extensions of first-order logic	2020-06-09	Paper
Projection operators in the Weihrauch lattice	2020-01-17	Paper
The basis of Boole's logical calculus	2017-10-04	Paper
Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma	2017-05-18	Paper
The Vitali Covering Theorem in the Weihrauch Lattice	2017-04-04	Paper
Las Vegas Computability and Algorithmic Randomness	2017-01-24	Paper
Probabilistic computability and choice	2015-06-01	Paper
How Incomputable is the Separable Hahn-Banach Theorem?	2013-05-03	Paper
Weihrauch degrees, omniscience principles and weak computability	2012-09-28	Paper
Effective choice and boundedness principles in computable analysis	2012-09-28	Paper
The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma	2012-03-29	Paper
Alan Turing and the Foundations of Computable Analysis	2011-10-11	Paper
Effective Choice and Boundedness Principles in Computable Analysis	2011-03-21	Paper
Weihrauch degrees, omniscience principles and weak computability	2011-03-18	Paper
How incomputable is the separable Hahn-Banach theorem?	2010-09-02	Paper
Computability and Incomputability of Differential Equations	2010-01-11	Paper
Borel Complexity of Topological Operations on Computable Metric Spaces	2009-03-02	Paper
Internal Computability	2007-11-13	Paper
Borel Complexity of Topological Operations on Computable Metric Spaces	2007-11-13	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Effective Borel degrees of some topological functions	2007-02-02	Paper

Research outcomes over time

This page was built for person: Guido Gherardi