The reverse mathematics of Hindman’s Theorem for sums of exactly two elements

Abstract

Hindman’s Theorem (HT) states that for every coloring of N with finitely many colors, there is an infinite set H ⊆ N such that all nonempty sums of distinct elements of H have the same color. The investigation of restricted versions of HT from the co