
arXiv: 2301.02833
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 Σ 2 0 -induction over RCA 0 . The associated problems in the Weihrauch lattice are related to TC N ∗ , ( LPO ′ ) ∗ or their product, depending on their precise formalizations.
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Σ02-induction, Reverse mathematics, \(\Sigma_0^2\)-induction, Mathematics - Logic, Computability and recursion theory, Weihrauch reducibility, Logic in Computer Science (cs.LO), 03B30, 03D78, 03D30, Mathematics and Statistics, additive Ramsey, FOS: Mathematics, reverse mathematics, Logic (math.LO)
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Σ02-induction, Reverse mathematics, \(\Sigma_0^2\)-induction, Mathematics - Logic, Computability and recursion theory, Weihrauch reducibility, Logic in Computer Science (cs.LO), 03B30, 03D78, 03D30, Mathematics and Statistics, additive Ramsey, FOS: Mathematics, reverse mathematics, Logic (math.LO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
