Abstract
AbstractWe formulate a restriction of Hindman’s Finite Sums Theorem in which monochromaticity is required only for sums corresponding to rooted finite paths in the full binary tree. We show that the resulting principle is equivalent to $$\Sigma ^0_2$$
Σ
2
0
-induction over $$\mathsf {RCA}_0$$
RCA
0
. The proof uses the equivalence of this Hindman-type theorem with the Pigeonhole Principle for trees $${\mathsf {T}\,}{\mathsf {T}}^1$$
T
T
1
with an extra condition on the solution tree.
Publisher
Springer Science and Business Media LLC