Embedding the prime model of real exponentiation into o-minimal exponential fields

Lothar Sebastian Krapp

Published 2023-02-03Version 1

Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real exponentiation is embeddable into any o-minimal exponential field. This is deduced from a more general unconditional result on the embeddability of exponential algebraic closures in o-minimal exponential fields.