Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2335

Preprint Number 2335

Previous Next Preprint server

2335. Lothar Sebastian Krapp
Embedding the prime model of real exponentiation into o-minimal exponential fields

Submission date: 3 February 2023.


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.

Mathematics Subject Classification: 03C64 (03C60 12J15 12L12 12J10)

Keywords and phrases:

Full text arXiv 2302.01609: pdf, ps.

Last updated: February 7 2023 16:16 Please send your corrections to: