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