16 citations · 67 across the 20 of their papers we have counts for
3 papers · 1 filter
A lower bound on Gowers' FIN_k theorem
Alexander P. Kreuzer
Gowers' FIN theorem, also called Gowers' pigeonhole principle or Gowers' theorem, is a Ramsey-type theorem. It first occurred in the study of Banach space theory and is a natur…
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 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…