He published Complete theories in 1956 which was written to study the properties of model-completeness and bounding transform.
Siya nai-publish Kumpletuhin theories sa 1956 na kung saan ay nakasulat na sa pag-aaral ng mga ari-arian ng mga modelo-kaganapan at bounding-anyo.