On the Weihrauch degree of the additive Ramsey theorem
We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers. The theorems we are chiefly interested in assert the existence of almost-homogeneous sets for colourings of pairs of rationals respectively natural numbers satisfying properties determined by some additional algebraic structure on the set of colours. In the context of reverse mathematics, most of the principles we study are equivalent to Σ^0_2-induction over RCA_0. The associated problems in the Weihrauch lattice are related to TC_ℕ^*, (LPO')^* or their product, depending on their precise formalizations.
READ FULL TEXT