Ramsey's coheirs

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.