Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 18, Issue 3 (2012), 368-381.
Model theory of analytic functions: some historical comments
Model theorists have been studying analytic functions since the late 1970s. Highlights include the seminal work of Denef and van den Dries on the theory of the p-adics with restricted analytic functions, Wilkie's proof of o-minimality of the theory of the reals with the exponential function, and the formulation of Zilber's conjecture for the complex exponential. My goal in this talk is to survey these main developments and to reflect on today's open problems, in particular for theories of valued fields.
Bull. Symbolic Logic Volume 18, Issue 3 (2012), 368-381.
First available in Project Euclid: 13 August 2012
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Haskell, Deirdre. Model theory of analytic functions: some historical comments. Bull. Symbolic Logic 18 (2012), no. 3, 368--381. doi:10.2178/bsl/1344861887. http://projecteuclid.org/euclid.bsl/1344861887.