arXiv:2203.06322 [math.LO]AbstractReferencesReviewsResources
A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities
Published 2022-03-12Version 1
We present a nonstandard simple elementary proof of Szemer\'{e}di's theorem by a straightforward induction with the help of three levels of infinities and four different elementary embeddings in a nonstandard universe.
Related articles: Most relevant | Search more
arXiv:1202.5215 [math.LO] (Published 2012-02-23)
On colimits and elementary embeddings
A Model Theoretic Proof of Szemerédi's Theorem
arXiv:math/9503204 [math.LO] (Published 1995-03-07)
Critical points in an algebra of elementary embeddings, II