On the theory of the real exponential field

zbMath0659.03013MaRDI QIDQ1112014

A. J. Wilkie

Publication date: 1989

Published in: Illinois Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

exponential functionlanguage of ordered ringsmodels of the complete theory of the real numbers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered rings, algebras, modules (06F25) Ordered fields (12J15) Model theory of fields (12L12)

Related Items (4)

Turing meets Schanuel ⋮ Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function ⋮ Weak Wu stratification in \(\mathbb{R}^n\) ⋮ Some results about exponential fields (survey)

This page was built for publication: On the theory of the real exponential field