Kozlov G T

Publications in Math-Net.Ru

1. Proof of a lemma on model completeness
   
   Algebra Logika, 14:5 (1975),  533–535
2. Unsolvability of the elementary theory of lattices of subgroups of finite abelian $p$-groups
   
   Algebra Logika, 9:2 (1970),  167–171
3. An elementary theory of torsion-free abelian groups with a predicate that distinguishes a subgroup
   
   Algebra Logika, 8:3 (1969),  320–334
4. Extended elementary and universal theories of lattice-ordered abelian groups with a finite number of threads
   
   Algebra Logika, 7:1 (1968),  91–103