{
  "id": "2311.01856",
  "version": "v1",
  "published": "2023-11-03T11:51:37.000Z",
  "updated": "2023-11-03T11:51:37.000Z",
  "title": "The uniform companion for large fields with free operators in characteristic zero",
  "authors": [
    "Shezad Mohamed"
  ],
  "comment": "26 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "Generalising the uniform companion for large fields with a single derivation, we construct a theory $\\text{UC}_\\mathcal{D}$ of fields of characteristic $0$ with free operators, operators determined by a homomorphism from the field to its tensor product with $\\mathcal{D}$, a finite-dimensional, local $\\mathbb{Q}$-algebra, which is the model companion of any theory of a field with free operators whose underlying field is large and model complete. In addition, we show that simplicity is transferred from the theory of the underlying field to the theory of the field with operators, and use this to study the model theory of bounded, PAC fields with free operators.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2023-11-03T11:51:37.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C60",
      "12H99"
    ],
    "keywords": [
      "free operators",
      "large fields",
      "uniform companion",
      "characteristic zero",
      "pac fields"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 26,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}