Value groups and residue fields of models of real exponentiation

Lothar Sebastian Krapp


Let F be an archimedean field, G a divisible ordered abelian group and h a group exponential on G. A triple (F,G,h) is realised in a non-archimedean exponential field (K,exp) if the residue field of K under the natural valuation is F and the induced exponential group of (K,exp) is (G,h). We give a full characterisation of all triples (F,G,h) which can be realised in a model of real exponentiation in the following two cases: i) G is countable. ii) G is of cardinality kappa and kappa-saturated for an uncountable regular cardinal kappa with kappa^(<kappa) = kappa.

Full Text:

1. [PDF]


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008