27 citations · 40 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2014★ 5 cited
How constructive is constructing measures?
Arno Pauly, Willem L. Fouché
Given some set, how hard is it to construct a measure supported by it? We classify some variations of this task in the Weihrauch lattice. Particular attention is paid to Frostman m…
cs.LO2014★ 8 cited
The descriptive theory of represented spaces
Arno Pauly
This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory…
cs.LO2010★ 27 cited
Computation with Advice
Vasco Brattka, Arno Pauly
Computation with advice is suggested as generalization of both computation with discrete advice and Type-2 Nondeterminism. Several embodiments of the generic concept are discussed,…