17
$\begingroup$

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?

$\endgroup$
0

1 Answer 1

7
$\begingroup$

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.

$\endgroup$

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