The model theory of abelian p-groups

We consider the question of equivalence of abelian p-groups with respect to different logical languages ranging from the first order predicate calculus to the infinitely deep languages of the Helsinki school.