{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "21BZEVVT7G"
    },
    {
      "field": "uses",
      "target": "484M0TZ1S7"
    },
    {
      "field": "uses",
      "target": "60SA99BER7"
    },
    {
      "field": "uses",
      "target": "ERVV6RWNNX"
    },
    {
      "field": "about",
      "target": "60SA99BER7"
    }
  ],
  "body": "\n## Summary\n\nAn elementary substructure of a [[structure|983GZBQYT4]] is a [[substructure|676H7EGTKJ]] that agrees with the big structure on first-order formulas.\nEach formula with parameters from the substructure has the same truth value in both.\nThe big structure is then an elementary extension of the small one.\nElementary substructures are the substructures that first-order logic cannot distinguish from the whole, even when it may name their elements.\n\n## Explanations\n\n### L1 human\n\nA substructure can look different from the whole structure even when it is isomorphic to it.\nThe positive integers sit inside the natural numbers with the usual order.\nIn the positive integers the number $1$ is the least element, but in the natural numbers it is not, since $0 \u003c 1$.\nAn elementary substructure forbids such differences: every first-order property of its elements is the same in the small and in the big structure.\nThe rational numbers are an elementary substructure of the real numbers, as ordered sets.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03C07"
    ],
    "name": "Elementary substructure",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Elementary_equivalence"
      }
    ],
    "specializes": [
      "676H7EGTKJ"
    ],
    "tag": "8WZF9SBP39"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/8WZF9SBP39/",
  "links": [
    {
      "field": "specializes",
      "target": "676H7EGTKJ"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/8WZF9SBP39.md",
  "msc": [
    "03C07"
  ],
  "name": "Elementary substructure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/8WZ/8WZF9SBP39.md",
  "status": null,
  "tag": "8WZF9SBP39",
  "uri": "m2://8WZF9SBP39",
  "url": "https://math2.tamnd.com/wiki/elementary-substructure/",
  "writing": {
    "tag": "8WZF9SBP39",
    "kind": "concept",
    "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
      }
    ]
  }
}