485 citations
- Technical University of MunichDE35 papers
- Ludwig-Maximilians-Universität MünchenDE29 papers
- RWTH Aachen UniversityDE19 papers
- Trinity College DublinIE16 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE11 papers
- University of Cape TownZA10 papers
- Advanced Materials and BioEngineering ResearchIE8 papers
- AMO (Germany)DE7 papers
- University of TwenteNL7 papers
- KTH Royal Institute of TechnologySE6 papers
- LMU KlinikumDE6 papers
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…