Löwenheim-Skolem theorem
Hello, you have come here looking for the meaning of the word Löwenheim-Skolem theorem. In DICTIOUS you will not only get to know all the dictionary meanings for the word Löwenheim-Skolem theorem, but we will also tell you about its etymology, its characteristics and you will know how to say Löwenheim-Skolem theorem in singular and plural. Everything you need to know about the word Löwenheim-Skolem theorem you have here. The definition of the word Löwenheim-Skolem theorem will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofLöwenheim-Skolem theorem, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
Named for Leopold Löwenheim and Thoralf Skolem.
Proper noun
- (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.