Guido Gherardi

Identifiers

• name variant Guido Gherardi 0.60 · backfill

Papers (9)

1. Computability of a Whitney Extension math.LO · 2025 · author #2
2. Interpolation in extensions of first-order logic math.LO · 2018 · author #1
3. The basis of Boole's logical calculus math.LO · 2017 · author #2
4. The Vitali Covering Theorem in the Weihrauch Lattice math.LO · 2016 · author #2
5. Probabilistic Computability and Choice math.LO · 2013 · author #2
6. The Bolzano-Weierstrass Theorem is the Jump of Weak K\"onig's Lemma math.LO · 2011 · author #2
7. Effective Choice and Boundedness Principles in Computable Analysis math.LO · 2009 · author #2
8. Weihrauch Degrees, Omniscience Principles and Weak Computability math.LO · 2009 · author #2
9. How incomputable is the separable Hahn-Banach theorem? math.LO · 2008 · author #1

Mentions

• 1312.7305 #2 · backfill · confidence 0.70 Guido Gherardi
• 1101.0792 #2 · backfill · confidence 0.70 Guido Gherardi
• 0905.4685 #2 · backfill · confidence 0.70 Guido Gherardi
• 0905.4679 #2 · backfill · confidence 0.70 Guido Gherardi
• 0808.1663 #1 · backfill · confidence 0.70 Guido Gherardi

Frequent Coauthors

• Vasco Brattka 5 shared papers
• Alberto Marcone 3 shared papers
• Rupert H\"olzl 2 shared papers
• Andrea Brun 1 shared papers
• Arno Pauly 1 shared papers
• Eugenio Orlandelli 1 shared papers
• Giovanna Corsi 1 shared papers
• Paolo Maffezioli 1 shared papers