Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02772522n
Noun Named Entity
Categories: long volume value, Metatheorems, Model theory, Theorems in the foundations of mathematics, Mathematical logic
EN
Löwenheim–Skolem theorem  Lowenheim-Skolem theorem  Loewenheim-Skolem theorem  Skolem-lowenheim theorem  Downward Lowenheim-Skolem
EN
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. Wikipedia
A theorem in first-order logic dealing with the cardinality of models Wikipedia Disambiguation
IS A
theorem
PART OF
symbolic logic
model theory
NAMED AFTER
Thoralf Skolem
Leopold Löwenheim
Wikipedia
EN
Löwenheim–Skolem theorem
Wikidata
EN
Löwenheim–Skolem theorem
Wikipedia Redirections
EN
Downward Lowenheim-Skolem, Downward Lowenheim-Skolem theorem, Downward Löwenheim-Skolem, Downward Löwenheim-Skolem theorem, downward Löwenheim–Skolem Theorem, Loewenheim-Skolem Theorem, Loewenheim-Skolem theorem, Loewenheim–Skolem theorem, Lowenheim-Skolem, Lowenheim-skolem theorem, Lowenheim-Skolem theorem, Lowenheim-Skolem Theorem, Lowenheim skolem, Lowenheim–Skolem theorem, Löwenheim-Skolem, Löwenheim-Skolem-Tarski theorem, Löwenheim-Skolem theorem, Löwenheim–Skolem–Tarski theorem, Skolem's theory, Skolem-Loewenheim theorem, Skolem-Lowenheim theorem, Skolem-lowenheim theorem, Skolem-Löwenheim theorem, Skolem lowenheim theorem, Skolem–Löwenheim theorem, Upward Loewenheim-Skolem theorem, Upward Lowenheim-Skolem theorem, Upward Löwenheim-Skolem theorem, Upward Löwenheim–Skolem theorem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License