On the elementary theory of the real exponential field
Unter der Annahme der Schanuel-Vermutung zeigen die Autoren, dass die vollständige Theorie des reellen Exponentialkörpers durch die Axiome definierbarer vollständiger Exponentialkörper mit der Bedingung axiomatisiert wird, was die Entscheidbarkeit dieser Theorie bestätigt.