On the elementary theory of the real exponential field
Asumiendo la conjetura de Schanuel, este trabajo demuestra que la teoría completa del campo exponencial real se axiomatiza mediante campos exponencialmente completos definiblemente cerrados que satisfacen , lo que implica la decidibilidad de dicha teoría y se basa en la demostración incondicional de la completitud modelística de un sistema axiomático análogo para la función exponencial restringida al intervalo .