LöwenheimâSkolem theorem
Quick Summary
The Löwenheim-Skolem theorem is a fundamental concept in model theory. It states that if a formal theory has any model, it must also have a countable model. This means that if a statement can be true in a system, it can be true in a system with a countably infinite number of elements.
A generalization of this theorem, often referred to as the "upward" and "downward" Löwenheim-Skolem theorems, indicates that if a theory has an infinite model of a certain size (cardinality), it will also have models of any larger or smaller infinite cardinality. This has significant implications, suggesting that no theory with an infinite model can be "categorical," meaning that all its models must be isomorphic (structurally identical). This phenomenon has led to considerable philosophical discussion regarding the nature of mathematical truth and representation.123
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
metalogicThe Löwenheim-Skolem theoremA finding closely related to the completeness theorem is the Löwenheim-Skolem theorem (1915, 1920), named after Leopold Löwenheim, a German schoolteacher, and Skolem, which says that if a sentence (or a formal system) has any model, it has a countable or enumerable modelâŠ
Read MoreA finding closely related to the completeness theorem is the Löwenheim-Skolem theorem (1915, 1920), named after Leopold Löwenheim, a German schoolteacher, and Skolem, which says that if a sentence (or a formal system) has any model, it has a countable or enumerable modelâŠ
Read More- metalogicGeneralizations and extensions of the Löwenheim-Skolem theorem
A generalized theorem can be proved using basically the same ideas as those employed in the more special case discussed above.
Read MoreA generalized theorem can be proved using basically the same ideas as those employed in the more special case discussed above.
Read More
