Back to the personal home page | the page of MLLP division

*About completions of groups*//Doklady Akademii nauk SSSR. 134, 1960, p.518-520 (with M.I. Kargapolov, Y.I.Merzljakov) (Russian).*About one method of completion groups*//Research records of Perm Univ. 17. P.9-11. (with M.I. Kargapolov, Y.I. Merzljakov) (Russian).*Two remarks of three step-nilpotent groups*// Algebra i logika. V.4, N2, 1965. P.59-65. (Russian).*Conjugacy in free decidable groups*//Algebra i logika. V.5, N6, 1966. P.15-25. (with M.I. Kargapolov) (Russian).*Conjugacy of subgroups in nilpotent groups*//Algebra i logika, V.6,N2, 1967. P.61-76. (Russian).*Residual finitness relative to conjugacy for interlacings*// in Proc. of 8-th All-Union Colloquium on General Algebra. - Riga, 1967. (Russian).*Foundations of group theory. P. 1.*- Novosibirsk, 1968. 206 p. (with M.I. Kargapolov, Y.I. Merzljakov) (Russian).*Residually finitness of metabelian groups*// Algebra i logika. V.7, N4, 1968. P.106-113. (Russian).*About residual finitness relative to conjugacy for free products*// Novosibirsk, V.1. 1969. (Russian).*Representations of finitely generated metabelian groups with matrice*// Algebra i logika. V.8. N8. 1969. P.72-76. (Russian).*Algorithmic questions for exponential groups*//Algebra i logika. V.8, 1969. P.643-659. (with M.I. Kargapolov, N.S. Romanovskij, V.A. Roman'kov, V.A. Churkin) (Russian).*Conjugacy in polycyclic groups*//Algebra i logika. V.8, N6, 1969. P.712-725. (Russian).*Some interesting properties of Magnus embedding*//Algebra i logika. V.9, N5, 1970. P.566-578. (V.G. Sokolov) (Russian).*Residual finiteness of groups relative to conjugacy*//Sibirskij Mat. Zhurnal. V.5, 1971. P.1085-1100. (Russian).*Finitely defined metabelian groups*//Proc. of 4th Kazahstan interuniv. conf. on math.

Part 1. 1971. (Russian).*An example of finitely defined group without maximality condition for normal subgroups*//Mat.zametki. V.12, N3, 1972. P.287-293. (Russian).*About finitely defined groups*//Proc. 4th All-Union Symp. on Group Theory. Novosibirsk, 1973. P.164-169. (Russian).*Example of group which is finitely defined in variety with undecidable problem of words equality*//Algebra i logika. V.12, N5, 1973. P.577-602. (Russian).*Example of finitely defined group which center isn't finitely generated*// Algebra i logika. V.13, N4, 1974. P.450-459. (Russian).*Conjugacy in decidable groups. Preprint.*Novosibirsk, 1967. 49 P. (Russian).*Researches of infinite decidable and residually finite groups*//Novosibirsk, 1974. P.1-152. (Russian).*Researches of infinite decidable and residually finite groups*// Mat.zametki. V.17, 1975. P.819-824. (Russian).*Isomorphism problem for decidable groups*//Mat.zametki. V.18, 1975. P.37-43. (with Kirkinskij A.S.) (Russian).*Algebraic complement*//Math.encyclopedia. Moskow,V.1, 1977. P.188. (Russian).*Algebraic closure*//Math.encyclopedia. Moskow,V.1. 1977. P.188. (Russian).*Main theorem of algebra*//Math.encyclopedia. Moskow,V.1. P.199-200. (Russian).*Bezout theorem*//Math.encyclopedia. Moskow,V.1. 1977. P.400. (with V. Voskresensky) (Russian).- Vandermonde determinant//Math.encyclopedia. Moskow,V.1. 1977. P.578. (Russian).
- Vieta theorem//Math.encyclopedia. Moskow,V.1, 1977. P.693-694. (Russian).
- Totally characteristic subgroup//Math.encyclopedia. Moskow,V.1,1977. P.764. (Russian).
- Principal ideal//Math.encyclopedia. Moskow,V.1, 1977. P.1017. (with
T.S. Fofanova,

L.I Shevrin) (Russian). *Holomorph of a group*//Math.encyclopedia. Moskow,V.1, 1977. P.1028. (Russian).*Horner's method*//Math.encyclopedia. Moskow,V.1, 1977. P.1078. (Russian).*Group theory*//Fundam. researches in physics, math. and tech sciences. Novosibirsk: Nauka,1978. (with M.I. Kargapolov, V.D. Mazurov, Y.I. Merzljakov) (Russian).*Algorithmic questions of algebra*//Fundam. researches in physics, math. and tech sciences. Novosibirsk: Nauka,1978. (with A.I. Maltsev, Y.L. Ershov, L.A. Bokut') (Russian).*About an algorithmic task for nilpotent groups and rings*//Proc. of conf. Kiev, 1978. P.3. (Russian).*Embedding theorems for profinite groups*//Izvestja AN SSSR. Math. ser. V.43, N2, 1979. P.399-417. (Russian).*Algorithmic questions for decidable groups*//Proc. of Oxford conf. on algorithmic questions of algebra, 1979. P.337-346. (with N.S. Romanovskij) (Russian).*About algorithmic task for nilpotent groups and rings*//Sibirskij Mat. Zhurnal. N5, 1979. P.1077-1082. (Russian).- I
*nfinite groups*//Results of Science. Algebra.Topology.Geometry. V.17. 1979. (Russian). *Example of pro-p-group which center isn't finitely defined*// Proc. of 6th All-Union symp. on group theory. Cherkassy, 1980. (Russian).*Nonstandard free products*//Proc. of 7th All-Union Symp. on group theory. Krasnojarsk, 1980 P.97. (Russian).*Classification of finitely generated nilpotent groups up to elementary roperties*//Works of Math. Institute of Siberian Dep. of Acad. of Sci. V.2. Math. logic and algorithm theory. - Moskow: Nauka, 1981. P.56-87. (with A.G. Myasnikov) (Russian).*Isomorphisms and elementary properties of nilpotent exponential groups*// Doklady AN SSSR. N5, 1981. P.1056-1059. (with A.G. Myasnikov) (Russian).*Definability of the set of Maltsev bases*//Proc. of 16th All-Union conf. on algebra. V.1. Leningrad, 1981. P.113-114. (with A.G. Myasnikov) (Russian).*Definability of the set of Maltsev bases and elementary properties of finite dimensional algebras, part 1*// Sibirskij Mat. Zhurnal. 23, N5. 1982. P.152-167. (with A.G. Myasnikov) (Russian).*Definability of the set of Maltsev bases and elementary properties of finite dimensional algebras, part 1*// Sibirskij Mat. Zhurnal.1983, 24, N2. P.97-113. (with A.G. Myasnikov) (Russian).*Minor*//Math.encyclopedia. Moskow, V.3, 1982. P.703. (Russian).*Nestor group*//Math.encyclopedia. Moskow, V.3, 1982. P.1026. (Russian).*Algorithmic and model theoretic questions of group theory*//Results of science. Algebra. Topology. Geometry. V.21. 1983. P.3-89. (with V.A. Roman'kov, A.G. Myasnikov) (Russian).*Finite-dimennonal algebras and k-groups of finite rank*//Contemporary Math. V.33. 1984.*Elementary theories of nilpotent pro-p-groups*//Proc. of IX All-Union conf. on group theory. Moskow,1984. (with A.G. Myasnikov) (Russian).*Elementary group eqvivalence with the integral length function*//Ill. Journ.Math. 20. V.30, N2. 1986. 20 p. (with A.G. Myasnikov)*Elementary equivalence of free products of groups with length function in signature*//Proc. of X All-union Symp. on Group Theory. Minsk,1986. P.1. (with A.G. Myasnikov) (Russian).*Varieties of algebraic structures. Preprint N647.*Computing Center of SB Acad. of Sci. USSR. 1986. (Russian).*Cohomologies of profinite groups. Lectures.*Omsk. 65 p. (with V.A. Roman'kov) (Russian).*Recursive p-adic numbers and elementary theories of finitely generated pro-p-groups*//Izvestja AN SSSR. Math. ser. 1987. V.51, N3. 22 p. (with A.G. Myasnikov) (Russian).*Elementary equivalence of free products of groups. Preprint.*Computing Center of SB of Acad. of Sci. USSR, N 718. Novosibirsk, 1987. 20 p. (with A.G. Myasnikov) (Russian).*Elementary equivalence of free operator groups with length function and finitely generated groups of operators*//Computable invariants of theory of algebraic structures. Novosibirsk, Comp. Center of SB Ac. of Sci. USSR. 1987. 10 p. (with A.G. Myasnikov) (Russian).*Admissible sets and group constructions*//Proc. of IX All-Union conf. on math. log. Nauka:Leningrad. 1988. (with A.G. Myasnikov) (Russian).*Admissible sets in group theory. Preprint N803.*Comp. Center of SB Acad. of Sci. USSR: Novosibirsk, 1988. 25 p. (with A.G. Myasnikov) (Russian).*Model theoretical questions of group theory*//Questions of algebra. Iss.4. Minsk: Universitetskoe publ. 1989. 7 p. (with A.G. Myasnikov) (Russian).*Finitely generated groups, $\exists$-equivalent to free group*//Proc. of XI All-Union Symp. on Group Theory. Sverdlovsk, 1989. (Russian).*$\exists$-free groups*//Sib.mat.zhurnal. 1989. V.30, N6. (Russian).*Logic of finite types in group theory*//Bulletin of Siberian Math. Soc. Iss.1. - Novosibirsk, 1990. 8 p. (with A.G. Myasnikov) (Russian).*About tasks of M.I. Kargapolov*//Memoirs of M.I. Kargapolov. Nauka: Novosibirsk, 1990. (Russian).*Group theory.*Series "Handbook on mathematics". Algebra. V.2. - Moskow: Nauka. 1990. 50 p. (Russian).*Equations in groups with length function*//Ukrainian mat. zhurnal. 1991. V.43, NN7-8. P.935-941. (with A.N. Zubkov) (Russian).*$\exists$-free groups as groups with length function*//Ukr.mat.zhurnal. 1992. V.44, N6. P.813-818. (Russian).*Weak Second Order Logic in Group Theory*//‘ont.Math. Part 1. 1992, V.131. P.273-278. (with Myasnikov A.G.)*Admissible sets in group theory*//Algebra i logika. 1992. V.31, N4. P.413-433. (with A.G. Myasnikov) (Russian).*Exponential groups 1. Preprint N8 IITAM SB RAS*. - Omsk: OmSU publ., 1993. 25 p. (with A.G. Myasnikov) (Russian).*Expontntial Groups 1: Foundations of the theory and tensor competion. Preprint N9 IITAM SB RAS.*- Omsk: OmSU publisher, 1993. 25 p. (with Myasnikov A.G.)*Exponential groups 2: groups strict under tensor copletion. Preprint N11 IITAM SB RAS.*Omsk: Omsk publ.1993. 20 p. (with M.G. Amaglobeli) (Russian).*Groups strict under tensor copletion*//Proc. of III International conf. on algebra. Krasnojarsk, 1993. P.11-12. (with M.G. Amaglobeli) (Russian).*Exponential groups I: Founfations of the theory and tensor completions*// Sib. Mat. Zhurnal. 1994. V.35, N5. P.1106-1118. (with A.G. Myasnikov) (Russian).*HF-theory of well-ordered sets*//Proc. of Internat. conf. on math. logic. Novosibirsk, 1994. (with A.V. Makarov) (Russian).*About notion "to be a free algebra"*//Proc. of Internat. conf. on math. logic. Novosibirsk, 1994. (with N.G. Gorokhovskaja) (Russian).*Groups with free length functions. Preprint.*- The city college of New York. 1994. 7 p. (with Myasnikov A.G.)*Exponential groups. Preprint.*- The city colleg of New York, 1994. 17 p. (with Myasnikov A.G.)*Finitely generated algebraic structures, categorical in HF-logic*// Algebra i logika. 1995. V.34. N1. P.12-32. (with V.Y. Belyaev, E.E.L'utikova) (Russian).*Algorithmic problems of exponential groups*//Proc. of conf. on math. logic. Novosibirsk,1994. (with M.G. Amaglobeli) (Russian).*Exponential Groups: iterated tree extensions of centralizers. Preprint N16.*Omsk, 1994. 36 p. (with Myasnikov A.G.)*Logical languages and axioms for groups. Preprint N20.*- Omsk. 1995. 8 p. (with Kharlampovich O. and Myasnikov A.G.)*About notion "to be a free algebra" in HF-logic. Preprint N23.*- Omsk, 1995. 21 p. (with N.G. Gorokhovskaja) (Russian).*Exponentia groups 2: extension of centralizers and tensor completion of CSA-groups*//Intern.Journal of Algebra and Computation (to appear). 35 p. (with Myasnikov A.G.)*Formal Power Series Representations of Free Exponential Groups*//Journal of Algebra (submitted). 28 p. (with Gaglione A.M., Myasnikov A.G., Spellman D.)*Length functions on free exponential groups*//Proc. of conf. "Groups in analisys and geometry". Omsk, 1995. (with Myasnikov A.G.)*Nilpotent A-groups of step 2. Preprint N16.*Novosibirsk: NII MIOO publ., 1996. 19 p. (with M.G. Amaglobeli) (Russian).*Software package on math. logic*//Proc. of International Scietific and Metodology conf. Novosibirsk, 1996. P.37-39. (with V.Y. Belyaev, D.A. Pechkin) (Russian).*Approximation theorems for exponential groups*// in Proc. of Internat. Congress on Industr. Math. - Novosibirsk, 1996. (with Baumslag G., Myasnikov A.G.)*Length functions on free exponential groups. Preprint N26 IITAM SO RAN.*- Omsk, 1996. 34 p. (with Myasnikov A.G.)*Exponential groups. Preprint N 27 IITAM SO RAN.*- Omsk, 1996. 18 p. (with Myasnikov A.G.)

`Last updated: Feb 1997.`