On the elementary theory of the real exponential field
Assumendo la congettura di Schanuel, il lavoro dimostra che la teoria completa del campo esponenziale reale è assiomatizzata dalle proprietà dei campi esponenziali definibilmente completi con derivata uguale alla funzione stessa, fornendo così una prova alternativa della decidibilità di tale teoria ottenuta da Macintyre e Wilkie.