{"id":"arxiv/2603.08365","url":"https://arxiv.org/abs/2603.08365","tags":["math.LO"],"score":0,"title":"On the elementary theory of the real exponential field","domain":"math.LO","source":"arxiv","authors":["Alessandro Berarducci","Francesco Gallinaro"],"reviews":0,"subject":"math.LO","summary":"Assuming Schanuel's conjecture, we prove that the complete theory $T_{\\exp}$ of the real exponential field is axiomatized by the axioms of definably complete exponential fields satisfying $\\exp' = \\exp$. This implies the result of Macintyre and Wilkie that, under the same conjecture, $T_{\\exp}$ is decidable. Our approach is based on the model completeness of a similar set of axioms for the exponential function restricted to $(-1,1)$, which we prove unconditionally.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-09","reactions":{}}