Review of Kalmar 1934 : On a theorem of Lowenheim (1935c)
Solomon Feferman, John W Dawson, Stephen Cole Kleene, Gregory Martin Moore, Robert M Solovay, Jean van HEIJENOORT · 2001
Abstract A simpler proof is given for Lowenheim’s theorem that for each firstorder expression a binary one 1.13 can be specified such that is valid if and only if 1.13 is (1.13 is said to be binary if it does not contain functional variables with more than two argument places).