arXiv++ Combinatorics

We prove an infinitary version of the Brauer-Schur theorem.

We give a purely combinatorial proof for the infinitary van der Waerden's theorem.

We give a purely combinatorial proof for a two-fold generalization of van der Waerden-Brauer's theorem and Hindman's theorem. We also give tower bounds for a finite version of it.

Spencer asked whether the Paris-Harrington version of the Folkman-Sanders theorem has primitive recursive upper bounds. We give a positive answer to this question.