100 citations · 328 across the 12 of their papers we have counts for
3 papers · 1 filter
Weihrauch goes Brouwerian
Vasco Brattka, Guido Gherardi
We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and…
Interpolation in extensions of first-order logic
Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli
We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular…
Projection operators in the Weihrauch lattice
Guido Gherardi, Alberto Marcone, Arno Pauly
In this paper we study the Weihrauch complexity of projection operators onto closed subsets of the Euclidean space. We show that some fundamental degrees of the Weihrauch lattice c…