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

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

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

– Ty LaForest, Canadian-American baseball player (b. 1917) 1957 – Leopold Löwenheim, German mathematician and logician (b. 1878) 1959 – Carlos Saavedra...

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

formula φ LOTS Linearly ordered topological space Löwenheim 1.  Leopold Löwenheim 2.  The Löwenheim–Skolem theorem states that if a first-order theory...