TY - RPRT TI - Embedding the prime model of real exponentiation into o-minimal exponential fields AU - Lothar Sebastian Krapp PY - 2023 DO - 10.1112/blms.12972 UR - https://arxiv.org/abs/2302.01609 ID - 2302.01609 ER -