English

Value Groups and Residue Fields of Models of Real Exponentiation

Logic 2021-07-21 v4

Abstract

Let FF be an archimedean field, GG a divisible ordered abelian group and hh a group exponential on GG. A triple (F,G,h)(F,G,h) is realised in a non-archimedean exponential field (K,exp)(K,\exp) if the residue field of KK under the natural valuation is FF and the induced exponential group of (K,exp)(K,\exp) is (G,h)(G,h). We give a full characterisation of all triples (F,G,h)(F,G,h) which can be realised in a model of real exponentiation in the following two cases: i) GG is countable. ii) GG is of cardinality κ\kappa and κ\kappa-saturated for an uncountable regular cardinal κ\kappa with κ<κ=κ\kappa^{<\kappa} = \kappa. Moreover, we show that for any o-minimal exponential field (K,exp)(K, \exp) satisfying the differential equation exp=exp\exp' = \exp, 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