Leopold Löwenheim [ˈle:o:pɔl̩d ˈlø:vɛnhaɪm] (26 June 1878 in Krefeld – 5 May 1957 in Berlin) was a German mathematician doing work in mathematical logic...

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...

named after Leopold Löwenheim, who proved that these exist for a very broad class of logics. An abstract logic, for the purpose of Löwenheim numbers, consists...

predicate logic (Leopold Löwenheim 1915) Proof of the semantic completeness of first-order monadic predicate logic (Leopold Löwenheim 1915) Proof of the...

1915, Leopold Löwenheim gave the first proof of what Skolem would prove more generally in 1920 and 1922, the Löwenheim–Skolem theorem. Löwenheim showed...

greatly simplified the proof of a theorem Leopold Löwenheim first proved in 1915, resulting in the Löwenheim–Skolem theorem, which states that if a countable...

German mathematician Leopold Löwenheim (1878–1957), German mathematician Leopold Vietoris (1891–2002), Austrian mathematician Leopold von Rauch (1787–1860)...

Lipschitz Peter Littelmann Martin Löb Alfred Loewy Paul Lorenzen Leopold Löwenheim Yuri Luchko Wolfgang Lück Stephan Luckhaus Günter Lumer Jacob Lüroth...

definition of a single set). Based upon work of the German mathematician Leopold Löwenheim (1915) the Norwegian logician Thoralf Skolem showed in 1922 that every...

Another cornerstone of first-order model theory is the Löwenheim-Skolem theorem. According to the Löwenheim-Skolem Theorem, every infinite structure in a countable...