13 citations · 29 across the 11 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…
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Emanuele Frittaion, Matt Hendtlass, Alberto Marcone +2
A quasi-order induces two natural quasi-orders on , but if is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Gou…
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…