Guido Gherardi

Available identifiers

zbMath Open gherardi.guidoWikidataQ124497933 ScholiaQ124497933MaRDI QIDQ408155

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2954989	2017-01-24	Paper
Probabilistic computability and choice	2015-06-01	Paper
How Incomputable is the Separable Hahn-Banach Theorem?	2013-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q2917341	2012-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q2917342	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guido Gherardi