# A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem

@article{Carlucci2018AWV, title={A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem}, author={Lorenzo Carlucci}, journal={Archive for Mathematical Logic}, year={2018}, volume={57}, pages={381-389} }

Hirst investigated a natural restriction of Hindman’s Finite Sums Theorem—called Hilbert’s Theorem—and proved it equivalent over $$\mathbf {RCA}_0$$RCA0 to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman’s Theorem provably much weaker than Hindman’s Theorem itself. We here introduce another natural restriction of Hindman’s Theorem—which we name the Adjacent Hindman’s Theorem with apartness—and prove it to be provable from Ramsey…

## 8 Citations

AN UNCOUNTABLE ADJACENT HINDMAN THEOREM

- Mathematics
- 2020

Results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman’s theorem fail for all uncountable cardinals. Results in the positive direction…

“Weak yet strong” restrictions of Hindman’s Finite Sums Theorem

- Mathematics
- 2016

We present a natural restriction of Hindman's Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic…

An adjacent Hindman theorem for uncountable groups

- Mathematics
- 2020

Results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's theorem fail for all uncountable cardinals. Results in the positive direction…

New Bounds on the Strength of Some Restrictions of Hindman's Theorem

- MathematicsCiE
- 2017

Upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem are proved, highlighting the role of a sparsity-like condition on the solution set, which is called apartness.

A Note on Hindman-Type Theorems for Uncountable Cardinals

- MathematicsOrder
- 2019

It is shown how a family of natural Hindman-type theorems for uncountable cardinals can be obtained by adapting some recent results of the author from their original countable setting.

Hindman’s theorem for sums along the full binary tree, $$\Sigma ^0_2$$-induction and the Pigeonhole principle for trees

- MathematicsArchive for Mathematical Logic
- 2022

<jats:p>We 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…

## References

SHOWING 1-10 OF 24 REFERENCES

“Weak yet strong” restrictions of Hindman’s Finite Sums Theorem

- Mathematics
- 2016

We present a natural restriction of Hindman's Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic…

New Bounds on the Strength of Some Restrictions of Hindman's Theorem

- MathematicsCiE
- 2017

Upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem are proved, highlighting the role of a sparsity-like condition on the solution set, which is called apartness.

The polarized Ramsey’s theorem

- MathematicsArch. Math. Log.
- 2009

This investigation yields a new characterization of Ramsey's theorem in all exponents, and produces several combinatorial principles which, modulo bounding for $$Sigma^0_2}$$ formulas, lie (possibly not strictly) between Ramsey’s theorem for pairs and the stable Ramsey�'s theorem for pair.

Hilbert versus Hindman

- MathematicsArch. Math. Log.
- 2012

We show that a statement HIL, which is motivated by a lemma of Hilbert and close in formulation to Hindman’s theorem, is actually much weaker than Hindman’s theorem. In particular, HIL is…

Effectiveness of Hindman's Theorem for Bounded Sums

- MathematicsComputability and Complexity
- 2017

It is proved that there is a computable $2$-coloring of $\mathbb{N}$ and there is no infinite computable set of elements of $X$ such that all nonempty sums of at most £2 elements of £X have the same color.

The logical strength of Büchi's decidability theorem

- MathematicsLog. Methods Comput. Sci.
- 2019

It is proved that the following are equivalent over the weak second-order arithmetic theory $RCA_0$: the induction scheme for $\Sigma^0_2$ formulae of arithmetic, and a variant of Ramsey's Theorem for pairs restricted to so-called additive colourings.

On the strength of Ramsey's theorem for pairs

- MathematicsJournal of Symbolic Logic
- 2001

The main result on computability is that for any n ≥ 2 and any computable (recursive) k–coloring of the n–element sets of natural numbers, there is an infinite homogeneous set X with X ≤T 0(n).

ON THE ROLE OF THE COLLECTION PRINCIPLE FOR Σ2-FORMULAS IN SECOND-ORDER REVERSE MATHEMATICS

- Mathematics
- 2009

We show that the principle PART from Hirschfeldt and Shore is equivalent to the Σ2-Bounding principle BΣ 0 2 over RCA0, answering one of their open questions. Furthermore, we also fill a gap in a…

On the role of the collection principle for Sigma^0_2-formulas in second-order reverse mathematics

- Mathematics
- 2010

We show that the principle PART from Hirschfeldt and Shore is equivalent to the ∑0 2 -Bounding principle B∑ 0 2 over RCA 0 , answering one of their open questions. Furthermore, we also fill a gap in…