101 citations · 688 across the 27 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016★ 5 cited
The Vitali Covering Theorem in the Weihrauch Lattice
Vasco Brattka, Guido Gherardi, Rupert Hölzl +1
We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than…
cs.LO2016★ 42 cited
On the algebraic structure of Weihrauch degrees
Vasco Brattka, Arno Pauly
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distribu…
math.LO2016★ 5 cited
Computability and Analysis, a Historical Approach
Vasco Brattka
The history of computability theory and and the history of analysis are surprisingly intertwined since the beginning of the twentieth century. For one, Émil Borel discussed his ide…