Abstract:
We consider Abelian $p$-groups ($p\geq3$) $A_1$ and $A_2$ with nonzero divisible parts. In this paper, we prove that the automorphism groups $\operatorname{Aut}A_1$ and $\operatorname{Aut}A_2$ are elementarily equivalent if and only if the groups $A_1$ and $A_2$ are equivalent in second-order logic.