{ "id": "1002.4456", "version": "v3", "published": "2010-02-24T02:40:54.000Z", "updated": "2011-01-26T02:11:26.000Z", "title": "A Model Theoretic Proof of Szemerédi's Theorem", "authors": [ "Henry Towsner" ], "categories": [ "math.LO", "math.CO" ], "abstract": "We present a short proof of Szemer\\'edi'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.", "revisions": [ { "version": "v3", "updated": "2011-01-26T02:11:26.000Z" } ], "analyses": { "keywords": [ "model theoretic proof", "szemerédis theorem", "resulting proof contains features reminiscent", "hypergraph regularity", "short proof" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2010arXiv1002.4456T" } } }