Su tesis de doctorado condujo al teorema de Mordell-Weil; en ella dio una formulación antigua al argumento del descenso infinito y, para hacerlo, definió una medida del tamaño de los puntos racionales de una variedad algebraica.