{
  "id": "1608.02342",
  "version": "v1",
  "published": "2016-08-08T07:58:19.000Z",
  "updated": "2016-08-08T07:58:19.000Z",
  "title": "Recent Progress on Definability of Henselian Valuations",
  "authors": [
    "Arno Fehm",
    "Franziska Jahnke"
  ],
  "comment": "Survey article, 8 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "Although the study of the definability of henselian valuations has a long history starting with J. Robinson, most of the results in this area were proven during the last few years. We survey these results which address the definability of concrete henselian valuations, the existence of definable henselian valuations on a given field, and questions of uniformity and quantifier complexity.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2016-08-08T07:58:19.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "12J10",
      "12L12",
      "03C60",
      "12E30"
    ],
    "keywords": [
      "definability",
      "concrete henselian valuations",
      "quantifier complexity",
      "definable henselian valuations",
      "long history starting"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 8,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}