加载中…
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 -induction over . The associated problems in the Weihrauch lattice are related to , or their product, depending on their precise formalizations.

生成讲解博客的中文版本

生成AI智能校验的中文版本