The adjacent Hindman’s Theorem and the \(\mathbb Z\)-Ramsey’s Theorem
摘要
We consider the restriction of Ramsey’s theorem that arises from considering only translation-invariant colourings of pairs, and show that this has the same strength (both from the viewpoint of Reverse Mathematics and from the viewpoint of Computability Theory) as the Adjacent Hindman’s Theorem, proposed by L. Carlucci (Arch. Math. Log. 57 (2018), 381–359). We also investigate some higher dimensional versions of both of these statements.