A Simple Combinatorial Proof of Szemerédi's Theorem via Three Levels of Infinities
arXiv:2203.06322 · doi:10.19086/da.87772
Abstract
We present a nonstandard simple elementary proof of Szemerédi's theorem by a straightforward induction with the help of three levels of infinities and four different elementary embeddings in a nonstandard universe.