Tarski's problem about the elementary theory of free groups has a positive solution. Kharlampovich, Olga, Myasnikov, Alexei (1998) Electronic Research Announcements of the American Mathematical Society [electronic only]
The elementary theory of Abelian groups with m-chains of pure subgroups Andreas Baudisch (1981) Fundamenta Mathematicae
The homomorphic images of infinite symmetric groups. Ulrich Felgner, Frieder Haug (1993) Forum mathematicum
Theorems on groups of finite Morley rank analogous to theorems on finite groups. Corredor, Luis Jaime, Ortiz, Fabio (2002) Revista Colombiana de Matemáticas
Torsion-free constructive nilpotent R p -groups. Khisamiev, N.G. (2009) Sibirskij Matematicheskij Zhurnal