Su tesis doctoral, titulada "Convergent Sequences of Complete Theories" (del inglés, "Secuencias Convergentes de Teorías Completas") bajo la supervisión de Alonzo Church, fue defendida en 1958 en la Universidad de Princeton.