Fue ascendido a profesor completo en la Universidad de Stanford, en el año 1964, resolviendo, al mismo tiempo uno de los problemas más desafiantes en las matemáticas, para ello, usó una técnica llamada “forcing”, para probar la independencia en el conjunto de teorías de elección de axioma y la hipótesis del continuo generalizada.