1. M. Ziegler, “Model theory of modules,”Ann. Pure Appl. Log.,26, No. 2, 149–213 (1984).
2. E. A. Palyutin, “Elimination of quantifiers for commutative theories,”Dokl. Ross. Akad. Nauk,363, No. 3, 301–303 (1998).
3. E. A. Palyutin, “Commutative theories,” inAbstracts of Logic Colloquium ’98, Prague (1998).
4. E. A. Palyutin, “Additive theories,” inProc. Logic Colloquium ’98, Lect. Notes Log., Vol. 13, ASL, Massachusetts (2000), pp. 352–356.
5. A. Pillay, “Countable models of stable theories,”Proc. Am. Math. Soc.,89, No. 4 (1983).