English Explanatory Dictionary

Löwenheim-Skolem theorem

English dictionary entry

Meanings

name
  1. 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.

Word forms

Löwenheim-Skolem theorem

Etymology

Named for Leopold Löwenheim and Thoralf Skolem.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on L Russian dictionary Dahl dictionary