Value groups and residue fields of models of real exponentiation

Abstract: 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, e x p)

if the residue field of

K

under the natural valuation is

F

and the induced exponential group of

(K, e x p)

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

k a p p a

and

k a p p a

-saturated for an uncountable regular cardinal

k a p p a

with

k a p p a^{< k a p p a} = k a p p a

. Moreover, we show that for any o-minimal exponential field

(K, e x p)

satisfying the differential equation

e x p^{'} = e x p

, its residue exponential field is a model of real exponentiation.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Value groups and residue fields of models of real exponentiation