{
  "id": "2005.12681",
  "version": "v1",
  "published": "2020-05-26T13:05:36.000Z",
  "updated": "2020-05-26T13:05:36.000Z",
  "title": "Quantifier elimination for quasi-real closed fields",
  "authors": [
    "Mickaël Matusinski",
    "Simon Müller"
  ],
  "comment": "5 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2020-05-26T13:05:36.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C10",
      "03C64",
      "12J10",
      "12J15",
      "12L12"
    ],
    "keywords": [
      "quasi-real closed fields",
      "quantifier elimination",
      "real closed valued fields",
      "algebraically closed valued fields"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 5,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}