Translation invariant filters and van der Waerden's Theorem

Mauro Di Nasso

We present a self-contained proof of a strong version of van der Waerden's Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple indu…