{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $\\mathcal{L} = \\set{+, -, \\cdot, 0, 1}$ be the language of rings.\nThe *theory of algebraically closed fields* $\\mathrm{ACF}$ is the set of first-order $\\mathcal{L}$-sentences that consists of:\n\n1. the axioms of a [[field|04C5ZBG1WT]];\n2. for each $n \\ge 1$, the sentence $\\forall a_0 \\, \\forall a_1 \\cdots \\forall a_{n-1} \\, \\exists x \\; x^n + a_{n-1} x^{n-1} + \\cdots + a_1 x + a_0 = 0$.\n\nFor a prime $p$, the theory $\\mathrm{ACF}_p$ is $\\mathrm{ACF}$ together with the sentence $1 + 1 + \\cdots + 1 = 0$ with $p$ terms.\nThe theory $\\mathrm{ACF}_0$ is $\\mathrm{ACF}$ together with, for each prime $p$, the sentence $1 + 1 + \\cdots + 1 \\ne 0$ with $p$ terms.\nThe *model theory of algebraically closed fields* is the study of these [[theories|92SWXST1ZM]] and of their models.\nThe models of $\\mathrm{ACF}_p$ are exactly the [[algebraically closed fields|0PF6TM8TWT]] of [[characteristic|1ZB13N78XW]] $p$, for $p$ prime or $0$.\n\n## Remarks\n\nThe basic results are these:\n\n1. $\\mathrm{ACF}$ has [[quantifier elimination|7FDDXV3JK7]] in $\\mathcal{L}$.\n2. For $p$ prime or $0$, the theory $\\mathrm{ACF}_p$ is [[complete|655K8Y7VS8]] and decidable.\n3. For $p$ prime or $0$ and every uncountable cardinal $\\kappa$, any two models of $\\mathrm{ACF}_p$ of cardinality $\\kappa$ are isomorphic, so $\\mathrm{ACF}_p$ is [[categorical|1JJCGNX240]] in $\\kappa$; it is not $\\aleph_0$-categorical.\n\nStatement 3 follows from [[Steinitz's theorem|CAEHMSX9RT]]: an algebraically closed field is determined up to isomorphism by its characteristic and its transcendence degree over the prime field.\nSee also the theory of algebraically closed fields as an example in model theory.\n\nExample: $\\C$ is a model of $\\mathrm{ACF}_0$, and the algebraic closure of $\\F_p$ is a model of $\\mathrm{ACF}_p$.\n\nNon-example: $\\R$ satisfies clause 1 but not clause 2, since the sentence for $n = 2$ fails at $a_1 = 0$, $a_0 = 1$: there is no real $x$ with $x^2 + 1 = 0$.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "defines": "MT8TDVPBXB",
    "kind": "definition",
    "msc": [
      "12L12",
      "03C60",
      "03C10"
    ],
    "name": "Model theory of algebraically closed fields",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Algebraically_closed_field"
      }
    ],
    "tag": "778ZG6P6E6",
    "uses": [
      "0PF6TM8TWT",
      "04C5ZBG1WT",
      "1ZB13N78XW",
      "CAEHMSX9RT"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/778ZG6P6E6/",
  "links": [
    {
      "field": "defines",
      "target": "MT8TDVPBXB"
    },
    {
      "field": "uses",
      "target": "0PF6TM8TWT"
    },
    {
      "field": "uses",
      "target": "04C5ZBG1WT"
    },
    {
      "field": "uses",
      "target": "1ZB13N78XW"
    },
    {
      "field": "uses",
      "target": "CAEHMSX9RT"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/778ZG6P6E6.md",
  "msc": [
    "12L12",
    "03C60",
    "03C10"
  ],
  "name": "Model theory of algebraically closed fields",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/778/778ZG6P6E6.md",
  "status": null,
  "tag": "778ZG6P6E6",
  "uri": "m2://778ZG6P6E6",
  "url": "https://math2.tamnd.com/wiki/model-theory-of-algebraically-closed-fields-definition/",
  "writing": {
    "tag": "778ZG6P6E6",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}