The Elek-Szegedy Proof of Szemeredi's Theorem, I

Elek and Szegedy have found a proof of the simplex removal lemma, and thereby of Szemeredi's Theorem, that uses nonstandard analysis and measure theory. In this talk, I will present a detailed outline of their proof.

Kevin O'Bryant