On the elementary theory of the real exponential field
En supposant la conjecture de Schanuel, cet article démontre que la théorie complète du corps réel exponentiel est axiomatisée par les champs exponentiels définissablement complets vérifiant , ce qui établit inconditionnellement la décidabilité de cette théorie et prouve la complétude des modèles pour la fonction exponentielle restreinte à l'intervalle .