El año siguiente, fue elegido Walter Beverly Pearson Professor of Mathematical Logic, en reconocimiento a sus contribuciones a la filosofía de la lógica y las matemáticas.