On the elementary theory of the real exponential field
Aannemende dat de conjectuur van Schanuel waar is, bewijzen de auteurs dat de complete theorie van het reële exponentiële veld wordt geaxiomatiseerd door de axioma's van definieerbaar complete exponentiële velden met , wat de onvoorwaardelijke modelcompleetheid van een vergelijkbaar axiomasysteem voor de exponentiële functie op het interval als basis gebruikt.