Value Groups and Residue Fields of Models of Real Exponentiation
Logic
2021-07-21 v4
Abstract
Let be an archimedean field, a divisible ordered abelian group and a group exponential on . A triple is realised in a non-archimedean exponential field if the residue field of under the natural valuation is and the induced exponential group of is . We give a full characterisation of all triples which can be realised in a model of real exponentiation in the following two cases: i) is countable. ii) is of cardinality and -saturated for an uncountable regular cardinal with . Moreover, we show that for any o-minimal exponential field satisfying the differential equation , its residue exponential field is a model of real exponentiation.
Keywords
Cite
@article{arxiv.1803.03153,
title = {Value Groups and Residue Fields of Models of Real Exponentiation},
author = {Lothar Sebastian Krapp},
journal= {arXiv preprint arXiv:1803.03153},
year = {2021}
}
Comments
22 pages, to appear in J. Log. Anal