Lecture notes
The Balog-Szemeredi Theorem
A combinatorial proof of Roth' theorem
Van der Waerden's theorem
A short proof of Roth' theorem
The ergodic proof of Roth' theorem
Weyl estimates