Publications of V.N.Remeslennikov

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

  1. About completions of groups//Doklady Akademii nauk SSSR. 134, 1960, p.518-520 (with M.I. Kargapolov, Y.I.Merzljakov) (Russian).
  2. About one method of completion groups//Research records of Perm Univ. 17. P.9-11. (with M.I. Kargapolov, Y.I. Merzljakov) (Russian).
  3. Two remarks of three step-nilpotent groups// Algebra i logika. V.4, N2, 1965. P.59-65. (Russian).
  4. Conjugacy in free decidable groups//Algebra i logika. V.5, N6, 1966. P.15-25. (with M.I. Kargapolov) (Russian).
  5. Conjugacy of subgroups in nilpotent groups//Algebra i logika, V.6,N2, 1967. P.61-76. (Russian).
  6. Residual finitness relative to conjugacy for interlacings// in Proc. of 8-th All-Union Colloquium on General Algebra. - Riga, 1967. (Russian).
  7. Foundations of group theory. P. 1. - Novosibirsk, 1968. 206 p. (with M.I. Kargapolov, Y.I. Merzljakov) (Russian).
  8. Residually finitness of metabelian groups// Algebra i logika. V.7, N4, 1968. P.106-113. (Russian).
  9. About residual finitness relative to conjugacy for free products// Novosibirsk, V.1. 1969. (Russian).
  10. Representations of finitely generated metabelian groups with matrice// Algebra i logika. V.8. N8. 1969. P.72-76. (Russian).
  11. 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).
  12. Conjugacy in polycyclic groups//Algebra i logika. V.8, N6, 1969. P.712-725. (Russian).
  13. Some interesting properties of Magnus embedding//Algebra i logika. V.9, N5, 1970. P.566-578. (V.G. Sokolov) (Russian).
  14. Residual finiteness of groups relative to conjugacy//Sibirskij Mat. Zhurnal. V.5, 1971. P.1085-1100. (Russian).
  15. Finitely defined metabelian groups//Proc. of 4th Kazahstan interuniv. conf. on math.
    Part 1. 1971. (Russian).
  16. An example of finitely defined group without maximality condition for normal subgroups//Mat.zametki. V.12, N3, 1972. P.287-293. (Russian).
  17. About finitely defined groups//Proc. 4th All-Union Symp. on Group Theory. Novosibirsk, 1973. P.164-169. (Russian).
  18. 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).
  19. Example of finitely defined group which center isn't finitely generated// Algebra i logika. V.13, N4, 1974. P.450-459. (Russian).
  20. Conjugacy in decidable groups. Preprint. Novosibirsk, 1967. 49 P. (Russian).
  21. Researches of infinite decidable and residually finite groups//Novosibirsk, 1974. P.1-152. (Russian).
  22. Researches of infinite decidable and residually finite groups// Mat.zametki. V.17, 1975. P.819-824. (Russian).
  23. Isomorphism problem for decidable groups//Mat.zametki. V.18, 1975. P.37-43. (with Kirkinskij A.S.) (Russian).
  24. Algebraic complement//Math.encyclopedia. Moskow,V.1, 1977. P.188. (Russian).
  25. Algebraic closure//Math.encyclopedia. Moskow,V.1. 1977. P.188. (Russian).
  26. Main theorem of algebra//Math.encyclopedia. Moskow,V.1. P.199-200. (Russian).
  27. Bezout theorem//Math.encyclopedia. Moskow,V.1. 1977. P.400. (with V. Voskresensky) (Russian).
  28. Vandermonde determinant//Math.encyclopedia. Moskow,V.1. 1977. P.578. (Russian).
  29. Vieta theorem//Math.encyclopedia. Moskow,V.1, 1977. P.693-694. (Russian).
  30. Totally characteristic subgroup//Math.encyclopedia. Moskow,V.1,1977. P.764. (Russian).
  31. Principal ideal//Math.encyclopedia. Moskow,V.1, 1977. P.1017. (with T.S. Fofanova,
    L.I Shevrin) (Russian).
  32. Holomorph of a group//Math.encyclopedia. Moskow,V.1, 1977. P.1028. (Russian).
  33. Horner's method//Math.encyclopedia. Moskow,V.1, 1977. P.1078. (Russian).
  34. Group theory//Fundam. researches in physics, math. and tech sciences. Novosibirsk: Nauka,1978. (with M.I. Kargapolov, V.D. Mazurov, Y.I. Merzljakov) (Russian).
  35. 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).
  36. About an algorithmic task for nilpotent groups and rings//Proc. of conf. Kiev, 1978. P.3. (Russian).
  37. Embedding theorems for profinite groups//Izvestja AN SSSR. Math. ser. V.43, N2, 1979. P.399-417. (Russian).
  38. Algorithmic questions for decidable groups//Proc. of Oxford conf. on algorithmic questions of algebra, 1979. P.337-346. (with N.S. Romanovskij) (Russian).
  39. About algorithmic task for nilpotent groups and rings//Sibirskij Mat. Zhurnal. N5, 1979. P.1077-1082. (Russian).
  40. Infinite groups//Results of Science. Algebra.Topology.Geometry. V.17. 1979. (Russian).
  41. Example of pro-p-group which center isn't finitely defined// Proc. of 6th All-Union symp. on group theory. Cherkassy, 1980. (Russian).
  42. Nonstandard free products//Proc. of 7th All-Union Symp. on group theory. Krasnojarsk, 1980 P.97. (Russian).
  43. 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).
  44. Isomorphisms and elementary properties of nilpotent exponential groups// Doklady AN SSSR. N5, 1981. P.1056-1059. (with A.G. Myasnikov) (Russian).
  45. 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).
  46. 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).
  47. 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).
  48. Minor//Math.encyclopedia. Moskow, V.3, 1982. P.703. (Russian).
  49. Nestor group//Math.encyclopedia. Moskow, V.3, 1982. P.1026. (Russian).
  50. 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).
  51. Finite-dimennonal algebras and k-groups of finite rank//Contemporary Math. V.33. 1984.
  52. Elementary theories of nilpotent pro-p-groups//Proc. of IX All-Union conf. on group theory. Moskow,1984. (with A.G. Myasnikov) (Russian).
  53. Elementary group eqvivalence with the integral length function//Ill. Journ.Math. 20. V.30, N2. 1986. 20 p. (with A.G. Myasnikov)
  54. 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).
  55. Varieties of algebraic structures. Preprint N647. Computing Center of SB Acad. of Sci. USSR. 1986. (Russian).
  56. Cohomologies of profinite groups. Lectures. Omsk. 65 p. (with V.A. Roman'kov) (Russian).
  57. 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).
  58. 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).
  59. 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).
  60. Admissible sets and group constructions//Proc. of IX All-Union conf. on math. log. Nauka:Leningrad. 1988. (with A.G. Myasnikov) (Russian).
  61. Admissible sets in group theory. Preprint N803. Comp. Center of SB Acad. of Sci. USSR: Novosibirsk, 1988. 25 p. (with A.G. Myasnikov) (Russian).
  62. Model theoretical questions of group theory//Questions of algebra. Iss.4. Minsk: Universitetskoe publ. 1989. 7 p. (with A.G. Myasnikov) (Russian).
  63. Finitely generated groups, $\exists$-equivalent to free group//Proc. of XI All-Union Symp. on Group Theory. Sverdlovsk, 1989. (Russian).
  64. $\exists$-free groups//Sib.mat.zhurnal. 1989. V.30, N6. (Russian).
  65. Logic of finite types in group theory//Bulletin of Siberian Math. Soc. Iss.1. - Novosibirsk, 1990. 8 p. (with A.G. Myasnikov) (Russian).
  66. About tasks of M.I. Kargapolov//Memoirs of M.I. Kargapolov. Nauka: Novosibirsk, 1990. (Russian).
  67. Group theory. Series "Handbook on mathematics". Algebra. V.2. - Moskow: Nauka. 1990. 50 p. (Russian).
  68. Equations in groups with length function//Ukrainian mat. zhurnal. 1991. V.43, NN7-8. P.935-941. (with A.N. Zubkov) (Russian).
  69. $\exists$-free groups as groups with length function//Ukr.mat.zhurnal. 1992. V.44, N6. P.813-818. (Russian).
  70. Weak Second Order Logic in Group Theory//‘ont.Math. Part 1. 1992, V.131. P.273-278. (with Myasnikov A.G.)
  71. Admissible sets in group theory//Algebra i logika. 1992. V.31, N4. P.413-433. (with A.G. Myasnikov) (Russian).
  72. Exponential groups 1. Preprint N8 IITAM SB RAS. - Omsk: OmSU publ., 1993. 25 p. (with A.G. Myasnikov) (Russian).
  73. 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.)
  74. Exponential groups 2: groups strict under tensor copletion. Preprint N11 IITAM SB RAS. Omsk: Omsk publ.1993. 20 p. (with M.G. Amaglobeli) (Russian).
  75. Groups strict under tensor copletion//Proc. of III International conf. on algebra. Krasnojarsk, 1993. P.11-12. (with M.G. Amaglobeli) (Russian).
  76. 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).
  77. HF-theory of well-ordered sets//Proc. of Internat. conf. on math. logic. Novosibirsk, 1994. (with A.V. Makarov) (Russian).
  78. About notion "to be a free algebra"//Proc. of Internat. conf. on math. logic. Novosibirsk, 1994. (with N.G. Gorokhovskaja) (Russian).
  79. Groups with free length functions. Preprint. - The city college of New York. 1994. 7 p. (with Myasnikov A.G.)
  80. Exponential groups. Preprint. - The city colleg of New York, 1994. 17 p. (with Myasnikov A.G.)
  81. 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).
  82. Algorithmic problems of exponential groups//Proc. of conf. on math. logic. Novosibirsk,1994. (with M.G. Amaglobeli) (Russian).
  83. Exponential Groups: iterated tree extensions of centralizers. Preprint N16. Omsk, 1994. 36 p. (with Myasnikov A.G.)
  84. Logical languages and axioms for groups. Preprint N20. - Omsk. 1995. 8 p. (with Kharlampovich O. and Myasnikov A.G.)
  85. About notion "to be a free algebra" in HF-logic. Preprint N23. - Omsk, 1995. 21 p. (with N.G. Gorokhovskaja) (Russian).
  86. 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.)
  87. Formal Power Series Representations of Free Exponential Groups//Journal of Algebra (submitted). 28 p. (with Gaglione A.M., Myasnikov A.G., Spellman D.)
  88. Length functions on free exponential groups//Proc. of conf. "Groups in analisys and geometry". Omsk, 1995. (with Myasnikov A.G.)
  89. Nilpotent A-groups of step 2. Preprint N16. Novosibirsk: NII MIOO publ., 1996. 19 p. (with M.G. Amaglobeli) (Russian).
  90. 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).
  91. Approximation theorems for exponential groups// in Proc. of Internat. Congress on Industr. Math. - Novosibirsk, 1996. (with Baumslag G., Myasnikov A.G.)
  92. Length functions on free exponential groups. Preprint N26 IITAM SO RAN. - Omsk, 1996. 34 p. (with Myasnikov A.G.)
  93. Exponential groups. Preprint N 27 IITAM SO RAN. - Omsk, 1996. 18 p. (with Myasnikov A.G.)

Last updated: Feb 1997.