{
  "id": "1808.01500",
  "version": "v1",
  "published": "2018-08-04T16:02:12.000Z",
  "updated": "2018-08-04T16:02:12.000Z",
  "title": "Translation invariant filters and van der Waerden's Theorem",
  "authors": [
    "Mauro Di Nasso"
  ],
  "categories": [
    "math.CO"
  ],
  "abstract": "We present a self-contained proof of a strong version of van der Waerden's Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple inductive argument shows the existence of \"piecewise syndetically\"-many monochromatic arithmetic progressions of any length k in every finite coloring of the natural numbers. All the constructions presented are constructive in nature, in the sense that the involved maximal filters are defined by recurrence on suitable countable algebras of sets. No use of the axiom of choice or of Zorn's Lemma is needed.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2018-08-04T16:02:12.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "05D10"
    ],
    "keywords": [
      "van der waerdens theorem",
      "translation invariant filters",
      "monochromatic arithmetic progressions",
      "simple inductive argument",
      "strong version"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}