順序指数体
↑ A.J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc., 9 (1996), pp. 1051–1094.
↑ A.J. Macintyre, A.J. Wilkie, On the decidability of the real exponential field, Kreisel 70th Birthday Volume, (2005).
↑ Salma Kuhlmann, Ordered Exponential Fields, Fields Institute Monographs, 12, (2000), p. 24.