On the elementary theory of an almost polycyclic group

It is proved that the elementary theory of an almost polycyclic group is decidable if and only if this group is almost abelian. This generalizes the corresponding assertion on a finitely generated nilpotent group, proved earlier by Yu. L. Ershov.
Bibliography: 6 titles.