Two New Extensions of the Hales-Jewett Theorem

Abstract

We prove two extensions of the Hales-Jewett coloring theorem. The first is a polynomial version of a finitary case of Furstenberg and Katznelson's multiparameter elaboration of a theorem, due to Carlson, about variable words. The second is an "idempotent" version of a result of Carlson and Simpson.