@article{gurevich1977expanded,
author = {Gurevich, Yuri},
title = {Expanded Theory of Ordered Abelian Groups},
year = {1977},
month = {May},
abstract = {The first-order theory of ordered abelian groups was analyzed in 3. However, algebraic results on ordered abelian groups in the literature usually cannot be stated in first-order logic. Typically they involve so-called convex subgroups. Here we introduce an expanded theory of ordered abelian groups that allows quantification over convex subgroups and expresses almost all relevant algebra. We classify ordered abelian groups by the properties expressible in the expanded theory, and we prove that the expanded theory of ordered abelian groups is decidable. Curiously, the decidability proof is simpler than that in 3. Furthermore, the decision algorithm is primitive recursive.

This is a journal version of 19 which could not be published in USSR for non-scientific reasons.},
url = {http://approjects.co.za/?big=en-us/research/publication/expanded-theory-ordered-abelian-groups/},
pages = {193-228},
journal = {Annals of Mathematical Logic},
volume = {12},
}