A new ultrafilter proof of Van der Waerden's theorem

Mauro Di Nasso

We present a new short proof of Van der Waerden's Theorem about the existence of arbitrarily long monochromatic arithmetic progressions. The proof uses algebra in the compact space…