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?

Take the 2-minute tour
×

MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.