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

According to Marker's "Model Theory: An Introduction", the real exponential field has a $\forall\exists$ axiomatization (because it is model complete) but no-one has any idea what such an axiomatization might look like. Has any progress been made on this since the early 2000s when Marker wrote this?

share|cite|improve this question

In her PhD thesis ``On the First Order Theory of Real Exponentiation'', Tamara Servi, has given a recursive subtheory $T$ of $T_{exp}$ and has shown that if Schanuel's conjecture holds, then $T$ is complete and hence provides a recursive axiomatization of $T_{exp}$. There are some related results.

See section 4.7 of the above mentioned paper.

share|cite|improve this answer

protected by Felipe Voloch Aug 9 '15 at 23:40

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

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