The asymptotic couple of the field of logarithmic transseries

Abstract: The derivation on the differential-valued field

m a t h b b T_{l o g}

of logarithmic transseries induces on its value group

G a m m a_{l o g}

a certain map

p s i

. The structure

(G a m m a_{l o g}, p s i)

is a divisible asymptotic couple. We prove that the theory

T_{l o g} = m T h (G a m m a_{l o g}, p s i)

admits elimination of quantifiers in a natural first-order language. All models

(G a m m a, p s i)

of

T_{l o g}

have an important discrete subset

P s i := p s i (G a m m a s e t m i n u s 0)

. We give explicit descriptions of all definable functions on

P s i

and prove that

P s i

is stably embedded in

G a m m a

.

Recommendations

Cites Work

Cited In (8)

This page was built for publication: The asymptotic couple of the field of logarithmic transseries