Highly Influenced

# Abelian Groups with Contractions I

@inproceedings{Kuhlmann1994AbelianGW, title={Abelian Groups with Contractions I}, author={Franzviktor Kuhlmann}, year={1994} }

- Published 1994

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