{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "48AR35RY9R"
    },
    {
      "field": "uses",
      "target": "EF4M77TDF4"
    }
  ],
  "body": "\n## Summary\n\nAn interpretation of a [[variety|AJNZJD8442]] $\\mathcal{V}$ in a variety $\\mathcal{W}$ translates each basic operation of $\\mathcal{V}$ into a term of $\\mathcal{W}$.\nThe translation must turn every algebra of $\\mathcal{W}$ into an algebra of $\\mathcal{V}$ on the same set.\nInterpretations order varieties by strength: if $\\mathcal{V}$ is interpretable in $\\mathcal{W}$, then $\\mathcal{W}$ is at least as rich as $\\mathcal{V}$.\nSuppose $\\mathcal{V}$ is interpretable in $\\mathcal{W}$ and $\\mathcal{V}$ has terms that satisfy some identities.\nThen the translated terms of $\\mathcal{W}$ satisfy the same identities, so such properties pass from $\\mathcal{V}$ to $\\mathcal{W}$.\n\n## Explanations\n\n### L1 human\n\nEvery ring can be seen as an abelian group by forgetting the multiplication.\nMore generally, one variety can sit inside another when its operations can be written as formulas in the operations of the other.\nFor example, in a Boolean ring the formula $x + y + xy$ behaves like the join of a Boolean algebra.\nAn interpretation records such a choice of formulas, one for each operation.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08B05"
    ],
    "name": "Interpretation of varieties",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Interpretation_(model_theory)"
      }
    ],
    "tag": "32PDB3WQ4D"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/32PDB3WQ4D/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/32PDB3WQ4D.md",
  "msc": [
    "08B05"
  ],
  "name": "Interpretation of varieties",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/32P/32PDB3WQ4D.md",
  "status": null,
  "tag": "32PDB3WQ4D",
  "uri": "m2://32PDB3WQ4D",
  "url": "https://tamnd.github.io/math2/wiki/interpretation-of-varieties/",
  "writing": {
    "tag": "32PDB3WQ4D",
    "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
      }
    ]
  }
}