M. Di Nasso, “A new ultrafilter proof of Van der Waerden’s Theorem”, Top Proc, vol. 68, pp. 193–198, Feb. 2026.