On the real exponential field with restricted analytic functions

Lou van den Dries, Chris Miller

Research output: Contribution to journalArticlepeer-review


The model-theoretic structure (ℝan, exp) is investigated as a special case of an expansion of the field of reals by certain families of C-functions. In particular, we use methods of Wilkie to show that (ℝan, exp) is (finitely) model complete and O-minimal. We also prove analytic cell decomposition and the fact that every definable unary function is ultimately bounded by an iterated exponential function.

Original languageEnglish (US)
Pages (from-to)19-56
Number of pages38
JournalIsrael Journal of Mathematics
Issue number1-3
StatePublished - Feb 1994

ASJC Scopus subject areas

  • Mathematics(all)


Dive into the research topics of 'On the real exponential field with restricted analytic functions'. Together they form a unique fingerprint.

Cite this