{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $L$ be a signature and let $\\mathcal{M}$ and $\\mathcal{N}$ be $L$-[[structures|983GZBQYT4]] with domains $M$ and $N$.\nThe structure $\\mathcal{M}$ is an elementary substructure of $\\mathcal{N}$, written $\\mathcal{M} \\preceq \\mathcal{N}$, when the following hold.\n\n1. $\\mathcal{M}$ is a [[substructure|676H7EGTKJ]] of $\\mathcal{N}$.\n2. For every $L$-[[formula|HYJ10AF6RT]] $\\varphi(x_1, \\dots, x_n)$ and all $a_1, \\dots, a_n \\in M$, $\\mathcal{M} \\models \\varphi(a_1, \\dots, a_n)$ if and only if $\\mathcal{N} \\models \\varphi(a_1, \\dots, a_n)$.\n\nThen $\\mathcal{N}$ is an elementary extension of $\\mathcal{M}$.\n\n## Remarks\n\nExample: $(\\Q, \u003c) \\preceq (\\R, \u003c)$.\nIt follows from quantifier elimination for dense linear orders without endpoints: each formula is equivalent in these orders to a quantifier-free one.\nA quantifier-free formula has the same truth value in a structure and in its substructures.\n\nNon-example: let $P = \\set{1, 2, 3, \\dots}$.\nThen $(P, \u003c)$ is a substructure of $(\\N, \u003c)$, but not an elementary one.\nFor $\\varphi(x) = \\exists y \\, (y \u003c x)$, $(P, \u003c) \\models \\neg \\varphi(1)$ and $(\\N, \u003c) \\models \\varphi(1)$.\n\nTaking $n = 0$ in clause 2 shows that $\\mathcal{M} \\preceq \\mathcal{N}$ implies $\\mathcal{M} \\equiv \\mathcal{N}$.\nThe non-example shows that the converse fails, since $(P, \u003c)$ and $(\\N, \u003c)$ are isomorphic.\nThe [[Tarski–Vaught test|60SA99BER7]] gives a practical criterion.\n\n## Explanations\n\n### L1 human\n\nIn an elementary substructure, every statement about some of its elements is true there exactly when it is true in the bigger structure.\nThis is stronger than having the same sentences, because the statements may mention elements.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "defines": "8WZF9SBP39",
    "kind": "definition",
    "msc": [
      "03C07"
    ],
    "name": "Elementary substructure",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Elementary_equivalence"
      }
    ],
    "tag": "21BZEVVT7G",
    "uses": [
      "676H7EGTKJ",
      "983GZBQYT4",
      "HYJ10AF6RT"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/21BZEVVT7G/",
  "links": [
    {
      "field": "defines",
      "target": "8WZF9SBP39"
    },
    {
      "field": "uses",
      "target": "676H7EGTKJ"
    },
    {
      "field": "uses",
      "target": "983GZBQYT4"
    },
    {
      "field": "uses",
      "target": "HYJ10AF6RT"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/21BZEVVT7G.md",
  "msc": [
    "03C07"
  ],
  "name": "Elementary substructure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/21B/21BZEVVT7G.md",
  "status": null,
  "tag": "21BZEVVT7G",
  "uri": "m2://21BZEVVT7G",
  "url": "https://math2.tamnd.com/wiki/elementary-substructure-definition/",
  "writing": {
    "tag": "21BZEVVT7G",
    "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
      }
    ]
  }
}