"Löwenheim-Skolem theorem" meaning in English

{
  "etymology_text": "Named for Leopold Löwenheim and Thoralf Skolem.",
  "head_templates": [
    {
      "args": {},
      "expansion": "Löwenheim-Skolem theorem",
      "name": "en-proper noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "name",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A theorem stating that, if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism."
      ],
      "id": "en-Löwenheim-Skolem_theorem-en-name-LlAinAmr",
      "links": [
        [
          "countable",
          "countable"
        ],
        [
          "first-order",
          "first-order"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "infinite",
          "infinite"
        ],
        [
          "model",
          "model"
        ],
        [
          "cardinal number",
          "cardinal number"
        ],
        [
          "isomorphism",
          "isomorphism"
        ]
      ],
      "qualifier": "mathematical logic",
      "raw_glosses": [
        "(mathematical logic) A theorem stating that, if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism."
      ],
      "wikipedia": [
        "Löwenheim-Skolem theorem"
      ]
    }
  ],
  "word": "Löwenheim-Skolem theorem"
}

{
  "etymology_text": "Named for Leopold Löwenheim and Thoralf Skolem.",
  "head_templates": [
    {
      "args": {},
      "expansion": "Löwenheim-Skolem theorem",
      "name": "en-proper noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "name",
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English proper nouns",
        "English terms spelled with Ö",
        "English terms spelled with ◌̈",
        "English terms with non-redundant non-automated sortkeys",
        "English uncountable nouns"
      ],
      "glosses": [
        "A theorem stating that, if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism."
      ],
      "links": [
        [
          "countable",
          "countable"
        ],
        [
          "first-order",
          "first-order"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "infinite",
          "infinite"
        ],
        [
          "model",
          "model"
        ],
        [
          "cardinal number",
          "cardinal number"
        ],
        [
          "isomorphism",
          "isomorphism"
        ]
      ],
      "qualifier": "mathematical logic",
      "raw_glosses": [
        "(mathematical logic) A theorem stating that, if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism."
      ],
      "wikipedia": [
        "Löwenheim-Skolem theorem"
      ]
    }
  ],
  "word": "Löwenheim-Skolem theorem"
}