On the elementary theory of the real exponential field
Assumindo a conjectura de Schanuel, este artigo prova que a teoria completa do campo real exponencial é axiomatizada por campos exponenciais definidamente completos que satisfazem , o que implica a decidibilidade dessa teoria, baseando-se na demonstração incondicional da completude modelar de um conjunto de axiomas análogo para a função exponencial restrita ao intervalo .