Translation invariant filters and van der Waerden's Theorem - Mauro Di Nasso (2018)