MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\bar{\mathbb{R}}$ be the structure of the real field, that is $(\mathbb{R},0,1,+,-,*,<)$ . We say that a function $f$ is of growth higher than exponential if for all $N\in \mathbb{N}$ there $f(x)$ is ultimately greater than $\exp^N(x)$. That is there is we can find $r\in \mathbb{R}$ such that for all $x>k$ we have $\exp^N(x) < f(x)$ where $\exp^N(x)$ stands for $\exp(\exp(\cdots \exp(x)\cdots))$ $N$ times.

Is it possible to find an o-minimal expansion (in the model theoretic sense) of $\bar{\mathbb{R}}$ where an $f$ as above is definable?

share|cite|improve this question
Is there such a high-growth function that is Pfaffian? – Joel David Hamkins Feb 7 '13 at 0:22

This is a well-known open problem, see e.g. . All currently known o-minimal expansions of the reals (such as the pfaffian closure of $\mathbb R$) are exponentially bounded.

share|cite|improve this answer
By contrast, one might also ask if there are o-minimal expansions where you have functions that grow faster than polynomials but no functions of exponential growth. A beautiful and surprising theorem of Chris Miller showed that you can't. Indeed exponentiation is definable in any o-minimal expansion of the reals containing any function of super-polynomial growth. – Dave Marker Feb 8 '13 at 17:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.