{
  "aliases": null,
  "backlinks": [
    {
      "field": "illustrates",
      "target": "DDY3Q3PJ6W"
    },
    {
      "field": "defines",
      "target": "ERVV6RWNNX"
    }
  ],
  "body": "\n## Summary\n\nA theory is model complete when every embedding between two of its models is elementary.\nThen a smaller model agrees with a larger one on all first-order statements about its own elements.\nAbraham Robinson introduced the notion as an algebraic counterpart of [[quantifier elimination|7FDDXV3JK7]], which implies it.\nModel completeness is equivalent to the property that every formula is equivalent to an existential formula.\nThe theory of real closed fields in the language of rings is a standard model complete theory without quantifier elimination.\n\n## Explanations\n\n### L1 human\n\nSuppose one model of a theory sits inside another.\nThe theory is model complete when the inner model cannot tell the difference.\nAny first-order statement about its elements is true in the inner model exactly when it is true in the outer one.\nFor example, the real algebraic numbers sit inside the real numbers, and both are real closed fields.\nA polynomial equation with real algebraic coefficients has a solution in one field exactly when it has one in the other.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03C10"
    ],
    "name": "Model complete theory",
    "same_as": {
      "wikidata": "Q6888319",
      "wikipedia": "Model complete theory"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Model_complete_theory"
      }
    ],
    "tag": "YR6HCMABTE"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/YR6HCMABTE/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/YR6HCMABTE.md",
  "msc": [
    "03C10"
  ],
  "name": "Model complete theory",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YR6/YR6HCMABTE.md",
  "status": null,
  "tag": "YR6HCMABTE",
  "uri": "m2://YR6HCMABTE",
  "url": "https://math2.tamnd.com/wiki/model-complete-theory/",
  "writing": {
    "tag": "YR6HCMABTE",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}