@inbook{Wilkie1997,
    Abstract = {In [5] I showed that the theory of the real exponential field, i.e. the theory T exp of the structure R exp := {\textlangle}R; +, {\textperiodcentered}, -, 0, 1, exp, <{\textrangle} is model complete. Subsequently, in the paper[4], Macintyre and I settled, conditionally, an old question of Tarski concerning the decidability of Texp. We showed that if a certain famous conjecture from transcendental number theory, namely Schanuel's conjecture, is true then T exp is, indeed, a decidable theory and in this lecture I am happy to comply with the organizers' suggestion that I explain precisely the r{\^o}le played by this conjecture in the verification of the algorithm.},
    Address = {Dordrecht},
    Author = {Wilkie, A. J.},
    BookTitle = {Algebraic Model Theory},
    Editor = {Hart, Bradd T. and Lachlan, Alistair H. and Valeriote, Matthew A.},
    ISBN = {978-94-015-8923-9},
    Pages = {223--230},
    Publisher = {Springer Netherlands},
    Title = {Schanuel's Conjecture and the Decidability of the Real Exponential Field},
    URL = {https://doi.org/10.1007/978-94-015-8923-9\_11},
    Year = {1997},
    bdsk-url-1 = {https://doi.org/10.1007/978-94-015-8923-9\_11},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-94-015-8923-9\_11},
    date-added = {2017-11-02 10:06:51 +0000},
    date-modified = {2017-11-02 10:06:51 +0000},
    doi = {10.1007/978-94-015-8923-9_11}
}

@inbook{Wilkie1997, Abstract = {In [5] I showed that the theory of the real exponential field, i.e. the theory T exp of the structure R exp := {\textlangle}R; +, {\textperiodcentered}, -, 0, 1, exp, <{\textrangle} is model complete. Subsequently, in the paper[4], Macintyre and I settled, conditionally, an old question of Tarski concerning the decidability of Texp. We showed that if a certain famous conjecture from transcendental number theory, namely Schanuel's conjecture, is true then T exp is, indeed, a decidable theory and in this lecture I am happy to comply with the organizers' suggestion that I explain precisely the r{\^o}le played by this conjecture in the verification of the algorithm.}, Address = {Dordrecht}, Author = {Wilkie, A. J.}, BookTitle = {Algebraic Model Theory}, Editor = {Hart, Bradd T. and Lachlan, Alistair H. and Valeriote, Matthew A.}, ISBN = {978-94-015-8923-9}, Pages = {223--230}, Publisher = {Springer Netherlands}, Title = {Schanuel's Conjecture and the Decidability of the Real Exponential Field}, URL = {https://doi.org/10.1007/978-94-015-8923-9_11}, Year = {1997}, bdsk-url-1 = {https://doi.org/10.1007/978-94-015-8923-9_11}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-94-015-8923-9_11}, date-added = {2017-11-02 10:06:51 +0000}, date-modified = {2017-11-02 10:06:51 +0000}, doi = {10.1007/978-94-015-8923-9_11} }