Thoralf Albert Skolem
Quick Summary
Thoralf Albert Skolem was a Norwegian mathematician and logician known for his significant contributions to model theory. He is particularly recognized for his work on the Löwenheim-Skolem theorem, which has profound implications for understanding the nature of formal systems and their interpretations. Skolem's research, influenced by figures like Ernst Schröder, explored the properties of logical calculi and the existence of countable models for theories. His work helped clarify concepts in logic and set theory, influencing subsequent developments in mathematical logic.1234
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.
metalogicTruth definition of the given languageâŠand of the Norwegian mathematician Thoralf Skolem, a pioneer in metalogic (from 1933). The originally intended, or standard, interpretation takes the ordinary nonnegative integers {0, 1, 2, . . . } as the domain, the symbols 0 and 1 as denoting zero and one, and the symbols + and ·âŠ
Read MoreâŠand of the Norwegian mathematician Thoralf Skolem, a pioneer in metalogic (from 1933). The originally intended, or standard, interpretation takes the ordinary nonnegative integers {0, 1, 2, . . . } as the domain, the symbols 0 and 1 as denoting zero and one, and the symbols + and ·âŠ
Read More- metalogicElementary logic
âŠin a different form in Skolemâs construction of a nonstandard model of arithmetic in 1933). It follows that, if the given structures are models of a theory, then their ultraproduct is such a model also, because every sentence in the theory is true everywhere (which is a special case ofâŠ
Read MoreâŠin a different form in Skolemâs construction of a nonstandard model of arithmetic in 1933). It follows that, if the given structures are models of a theory, then their ultraproduct is such a model also, because every sentence in the theory is true everywhere (which is a special case ofâŠ
Read More
- set theoryThe Zermelo-Fraenkel axioms
âŠsuggested by later mathematicians, principally Thoralf Albert Skolem, a Norwegian pioneer in metalogic, and Abraham Adolf Fraenkel, an Israeli mathematician. In the literature on set theory, it is called Zermelo-Fraenkel set theory and abbreviated ZFC (âCâ because of the inclusion of the axiom of choice). See the
Read MoreâŠsuggested by later mathematicians, principally Thoralf Albert Skolem, a Norwegian pioneer in metalogic, and Abraham Adolf Fraenkel, an Israeli mathematician. In the literature on set theory, it is called Zermelo-Fraenkel set theory and abbreviated ZFC (âCâ because of the inclusion of the axiom of choice). See the
Read More 
history of logicCompletenessâŠLöwenheim and the Norwegian mathematician Thoralf Skolem, that first-order axiom systems cannot be complete in this Hilbertian sense. The theorem that bears their namesâthe Löwenheim-Skolem theoremâhas two parts. First, if a first-order proposition or finite axiom system has any models, it has countable models. Second, if it has countable models,âŠ
Read MoreâŠLöwenheim and the Norwegian mathematician Thoralf Skolem, that first-order axiom systems cannot be complete in this Hilbertian sense. The theorem that bears their namesâthe Löwenheim-Skolem theoremâhas two parts. First, if a first-order proposition or finite axiom system has any models, it has countable models. Second, if it has countable models,âŠ
Read More