Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic.
Unabhängig und gleichzeitig mit Leon Henkin entwickelte er 1949 einen neuen Beweis des Vollständigkeitssatzes von Kurt Gödel für die Prädikatenlogik.