Elementary equivalence of automorphism groups of reduced Abelian p-groups
M. A. Roizner · Moscow University Mathematics Bulletin · 2013
Unbounded reduced Abelian p-groups (p ≥ 3) A 1 and A 2 are considered. It is proved that if the automorphism groups Aut A 1 and Aut A 2 are elementary equivalent, then the groups A 1 and A 2 are equivalent in the second order logic bounded with the final rank of the basic subgroups of A 1 and A 2.