Yet another proof of Szemeredi's theorem

Abstract

Using the density-increment strategy of Roth and Gowers, we derive Szemeredi's theorem on arithmetic progressions from the inverse conjectures GI(s) for the Gowers norms, recently established by the authors and Ziegler.

6 page note, to appear in the proceedings of a conference in honour of the 70th birthday of Endre Szemeredi