Principales oeuvres :

• Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1931)
• Cohérence des axiomes du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles (1940)