On Roth's theorem on progressions

Abstract

We show that if A is a subset of {1,...,N} contains no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{1-o(1)} N). The approach is somewhat different from that used in arXiv:1007.5444.

16 pp. Corrected the proof of the Croot-Sisask Lemma. Corrected typos. Updated references