En estos años, junto con John Corcoran -su director de tesis, empezó su fascinación por la lógica de segundo orden.