#### Abstract for the paper

## Abelian groups with contractions I

* by Franz-Viktor Kuhlmann*

On the value group of nonarchimedean exponential fields with respect to
their natural valuation, the exponential induces a map called
contraction. A corresponding theory of abelian groups with contractions
is axiomatized and, by a detailed study of their algebraic properties,
shown to be model complete, complete, decidable and to admit quantifier
elimination. Finally, other concepts of contractions are discussed.

*Last update: February 3, 1999*