Ramsey's coheirs
Combinatorics
2025-10-29 v2 Logic
Abstract
We use the model theoretic notion of coheir to give short proofs of old and new theorems in Ramsey Theory. As an illustration we start from Ramsey's theorem itself. Then we prove Hindman's theorem and the Hales-Jewett theorem. Finally, we prove two Ramsey theoretic principles that have among their consequences partition theorems of Carlson and of Gowers.
Cite
@article{arxiv.1901.04363,
title = {Ramsey's coheirs},
author = {Eugenio Colla and Domenico Zambella},
journal= {arXiv preprint arXiv:1901.04363},
year = {2025}
}
Comments
Minor changes. To appear in J. Symb. Log