101 citations · 688 across the 27 of their papers we have counts for
3 papers · 1 filter
On the Uniform Computational Content of the Baire Category Theorem
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole prin…
On the Uniform Computational Content of Ramsey's Theorem
Vasco Brattka, Tahina Rakotoniaina
We study the uniform computational content of Ramsey's theorem in the Weihrauch lattice. Our central results provide information on how Ramsey's theorem behaves under product, para…
On the Uniform Computational Content of Computability Theory
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
We demonstrate that the Weihrauch lattice can be used to classify the uniform computational content of computability-theoretic properties as well as the computational content of th…