Model Theory of Analytic Functions: Some Historical Comments
Keyword(s):
AbstractModel 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.
2011 ◽
Vol 55-57
◽
pp. 1670-1674
◽
2004 ◽
Vol 22
(5)
◽
pp. 1189-1198
◽
1990 ◽
Vol 10
(1)
◽
pp. 177-183
◽