The Hales–Jewett Theorem

September 2, 2022

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

The Hales–Jewett theorem is a result in Ramsey Theory which states that, for any non-negative integers $r$ and $t$, there exists a minimal dimension $N$, such that any $r$-coloured $N'$-dimensional cube over $t$ elements (with $N' \geq N$) contains a monochromatic line. This theorem generalises Van der Waerden's Theorem, which has already been formalised in another AFP entry.