101 citations · 491 across the 53 of their papers we have counts for
4 papers · 1 filter
Comparing representations for function spaces in computable analysis
Arno Pauly, Florian Steinberg
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace represen…
Game characterizations and lower cones in the Weihrauch degrees
Hugo Nobrega, Arno Pauly
We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge…
Weihrauch-completeness for layerwise computability
Arno Pauly, Willem Fouché, George Davie
We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logari…
Computability on the space of countable ordinals
Arno Pauly
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention…