Treballà especialment en el camp de la resolució de les equacions diofàntiques, en el de l’estudi axiomàtic dels enters naturals i en el de la caracterització dels automorfismes de les àlgebres simples. En lògica, contribuí al desenvolupament de la teoria intuïcionista.