100 citations · 264 across the 34 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 4 cited
Searching for an analogue of ATR in the Weihrauch lattice
Takayuki Kihara, Alberto Marcone, Arno Pauly
There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to transl…
math.LO2018★ 3 cited
Polish metric spaces with fixed distance set
Riccardo Camerlo, Alberto Marcone, Luca Motto Ros
We study Polish spaces for which a set of possible distances is fixed in advance. We determine, depending on the properties of , the complexity of the…
math.LO2018★ 5 cited
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…