Gowers's proof of Szemerédi's Theorem for arithmetic progressions of length four

This thesis presents the obstructions and the differences in the generalization of Roth’s theorem to the case of arithmetic progressions of length four, and provides a complete proof of this generalization. It follows a modern and cleaner approach that simplifies Gowers's original argument.