A Model Theoretic Proof of Szemerédi's Theorem
arXiv:1002.4456
Abstract
We present a short proof of Szemerédi's Theorem using a dynamical system enriched by ideas from model theory. The resulting proof contains features reminiscent of proofs based on both ergodic theory and on hypergraph regularity.