The Galvin-Prikry Theorem in the Weihrauch lattice

Alberto Marcone, Gian Marco Osso

This paper classifies different fragments of the Galvin-Prikry theorem, an infinite dimensional generalization of Ramsey's theorem, in terms of their uniform computational content…