Formulating Szemerédi's Theorem in Terms of Ultrafilters

Heinrich-Gregor Zirnstein

Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have t…