101 citations · 688 across the 27 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
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…
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…