Abelian Groups with Contractions I

@inproceedings{Kuhlmann1994AbelianGW,
  title={Abelian Groups with Contractions I},
  author={Franzviktor Kuhlmann},
  year={1994}
}
  • Franz{viktor Kuhlmann
  • 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.