Definition of Löwenheim-Skolem in English:

Löwenheim-Skolem

(also Lowenheim-Skolem)

noun

Logic Mathematics
  • Used attributive, originally with reference to the theorem that if a theory in a countable first-order language has any models, then it has a model with countably many elements; now more commonly with reference to the theorem (also known as the upward and downward Löwenheim-Skolem theorem) that (i) every infinite structure has elementary extensions with all possible cardinalities (known as the upward part of the theorem), and (ii) for every structure M and set X of elements of M, and every possible cardinality, there is an elementary substructure of M which contains all of X and has that cardinality (known as the downward part of the theorem).

Origin

1950s; earliest use found in Journal of Symbolic Logic. From the names of Leopold Löwenheim, German mathematician, and Thoralf Albert Skolem, Norwegian mathematician.

Pronunciation

Löwenheim-Skolem

/ˌləʊənhʌɪmˈskəʊləm//ˌləːvənhʌɪmˈskuːləm/