Vladimir Remeslennikov

 

Department of Mathematics, Omsk State University, 55-A Prospect Mira, Omsk, Russia 644077

Tel.: (+7-3812)-24-70-41 (office), (+7-3812)-24-09-14 (home); e-mail: remesl@iitam.omsk.net.ru

 

 

CURRENT POSITIONS

 

         Professor, Department of Mathematics, Omsk State University, Russia.

         Head of Department, Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences.

 

 

 

DEGREES:

 

         Honoured Worker of Science, Russia, 2004 (A distinction approved by the President of Russia).

         Doctor of Science (Habilitation) in Mathematics (Algebra and Mathematical Logic): Investigation of Residuall Finite and Infinite Solvable Groups, Institute of Mathematics, Novosibirsk, Russia, 1974.

         Ph.D. in Mathematics (Algebra and Mathematical Logic): Conjugacy in Groups, Institute of Mathematics, Novosibirsk, Russia, 1967.

         M.Sc. in Mathematics (with Honour), Perm State University, Russia, 1961.

 

 

RESEARCH ACTIVITIES: Group Theory

Model Theory

Algorithmic Problems in Algebra

 

 

FELLOWSHIPS AND HONOURS:

 

          Distinguished Visiting Researcher, The Victoria University of Manchester, England 2005

          Visiting Research Fellow, NSERC Grant, McGill University, Canada 2004-2005

          Visiting Research Fellow, EPSRC Grant GR/S71200/01, University of Newcastle, England 2003

          Visiting Research Fellow, EPSRC Grant GR/R29451, UMIST, England 2001

          Russian Presidental Fellowship for Outstanding Scholars 1994-2001

          Russian Fund for Fundamental Research Awards, Principal Investigator 1991-2001

          Visiting Research Fellow, EPSRC Grant GR/M98951, UMIST, England 1999

          Soros Professor 1997

          Soros Foundation Research Grant 1994-1995

          Research Fellowship of the American Mathematical Society 1993-1994

 

 

POSITIONS:

 

         Chair of the Combinative and Calculating methods of Algebra and Logic laboratory, Omsk Branch Of Institute Of Mathematics, SB RAS.

         Chair of the Division of Mathematical Logic and Logical Programming, Omsk State University, Omsk, Russia (1994-present)

         Vice-President of The Institute of Applied Mathematics, Omsk, Russia (1991-1997)

         Visiting Professor, McGill University, Montreal, Canada (1993, 1994)

         Visiting Professor, Manitoba University, Winnipeg, Canada (1992)

         Professor of Algebra, Department of Mathematics, Omsk State University, Omsk, Russia (1978-1993)

         Chair of the Division of Applied Mathematics, Omsk State University, Omsk, Russia (1989-1991)

         Visiting Professor, Bielefeld University, Bielefeld, Germany (1979)

         Chair of the Division of Algebra, Omsk State University, Omsk, Russia (1978-1982)

         Professor of Algebra, Department of Mathematics, Novosibirsk State University, Novosibirsk, Russia (1976-1978)

 

 

Invited Addresses:

         CRM-ICM Mathematics Colloquium, Montreal, Canada (2005)

         Ottawa Mathematics Colloquium, Montreal, Canada (2005)

         Winter Meeting of the Canadian Mathematical Society, Montreal, Canada (2004)

         International Algebra Conference on the Occasions of 250th Anniversary of the Foundation of Moscow State University, Moscow, Russia (2004)

         Manchester Algebra Seminar, Manchester, England (1993, 1999, 2002)

         Annual Meeting of the American Mathematical Society, Baltimore, USA (2003)

         Mal'tsev Meeting, Novosibirsk, Russia (2001, 2002, 2004)

         Conference on Geometric and Combinatorial Group Theory, Edinburg, Scotland (1993, 1998)

         Workshop on General Combinatorial Group Theory, Montreal, Canada (1997)

         Conference Groups St Andrews 1997, Bath, England (1997)

         Symposium on Pro-p-Groups and Related Topics, Durham, England (1997)

         Group Theory Day at US Naval Academy, Annapolis, USA (1995,1996)

         Algebra Seminar, McGill University, Montreal, Canada (1994-1996)

         New York Group Theory Seminar, New York, USA (1994)

         International Conferences on Algebra (Novosibirsk 1989, Barnaul 1991, Krasnoyarsk 1993)

         All-Union Conferences on Mathematical Logic (Novosibirsk 1988, Moscow 1984, Alma-Ata 1992)

         Conferences on Group Theory, Obervolfach, Germany (1986, 1991)

         Easter Conference on Model Theory, Berlin, Germany (1991)

         All-Union Algebraic Conferences (1974-1989)

 

 

 

PhD supervision:

 

PhD supervision:

 

Successful dissertation supervision of 24 PhD and 8 Doctor of Science (Habilitation) students.

(among them: Alexei Miasnikov (McGill), Alexandre Borovik (University of Manchester), Vitaly Romankov (Omsk State University), Alexandre Zubkov (Institute of Mathematics, Russia), Ekaterina Lyutikova, Ilya Kazachkov, Denis Serbin.

 

 

 

Selected Publications (1994-2006)

 

 

1.     Andrew J. Duncan, Ilya V. Kazachkov and Vladimir N. Remeslennikov Centraliser Dimension of Partially Commutative Groups Geometriae Dedicata Volume 120, Number 1 / June, 2006 73-97

2.     Duncan A.J., Kazachkov I.V., Remeslennikov V.N., Centraliser dimension and universal classes of groups, SEMR, 2006, . 197-215.

3.     A.G. Myasnikov, V. N. Remeslennikov And D.E. Serbin. Fully Residually Free Groups And Graphs Labeled By Infinite Words, International Journal of Algebra and Computation, Vol. 16, No. 4 (2006) 689-737

4.     .., .. u-, , . 47 (2006), 2, 415-431. http://a-sewer.math.nsc.ru/publishing/smz/index.php

5.     Remeslennikov V. N., Stohr R., On algebraic sets over metabelian groups. J. Group Theory, 8 (2005), 491-513.

6.     . ., . ., . , 44, 5 (2005), 601-621.

7.     E. Yu. Daniyarova and V. N. Remeslennikov, Bounded algebraic geometry over a free Lie algebra. (Russian) Algebra i Logika 44 (2005), no 3, 269-304.

8.     E. S. Esyp, I. V. Kazatchkov and V. N. Remeslennikov, Divisibility theory and complexity of algorithms for free partially commutative groups, in: Groups, Languages, Algorithms. Contemporary Mathematics 378 (2005), pp. 319-348.

9.     A. Kvaschuk, A. Myasnikov and V. Remeslennikov, Algebraic geometry over groups. III. Elements of model theory. J. Algebra 288 (2005), no. 1, 78 - 98.

10. M. G. Amaglobeli and V. N. Remeslennikov, G-free metabelian nilpotent groups. (Russian) Dokl. Akad. Nauk 399 (2004), no. 3, 295-297.

11. O. G. Kharlampovich, A. G. Myasnikov, V. N. Remeslennikov and D. E. Serbin, Subgroups of fully residually free groups: algorithmic problems, in: Group theory, statistics, and cryptography, 63--101, Contemp. Math., 360, Amer. Math. Soc., Providence, RI, 2004.

12. V. N. Remeslennikov, N. S. Romanovskii, Metabelian products of groups. (Russian) Algebra Logika 43 (2004), no. 3, 341--352, 383; translation in Algebra Logic 43 (2004), no. 3, 190197.

13. V. Remeslennikov and R. Stöhr, On the quasivariety generated by a non-cyclic free metabelian group. Algebra Colloq. 11 (2004), no. 2, 191--214.

14. E. Yu. Daniyarova, I. V. Kazachkov and V. N. Remeslennikov, Algebraic geometry over a free metabelian Lie algebra. II. The finite field case. (Russian) Fundam. Prikl. Mat. 9 (2003), no. 3, 65--87.

15. E. Yu. Daniyarova, I. V. Kazachkov and V. N. Remeslennikov, Algebraic geometry over a free metabelian Lie algebra. I. U-algebras and universal classes. (Russian) Fundam. Prikl. Mat. 9 (2003), no. 3, 37--63.

16. A. V. Borovik, A. G. Myasnikov and V. N. Remeslennikov, Multiplicative measures on free groups. Internat. J. Algebra Comput. 13 (2003), no. 6, 705--731.

17. G. Baumslag, A. Myasnikov and V. Remeslennikov, Discriminating completions of hyperbolic groups. Geom. Dedicata 92 (2002), 115--143.

18. V. N. Remeslennikov and N. S. Romanovskii, Quasivarieties and q-compact classes of abelian groups. (Russian) Algebra Logika 40 (2001), no. 6, 675--684, 716--717; translation in Algebra Logic 40 (2001), no. 6, 378383.

19. V. N. Remeslennikov, The dimension of algebraic sets over a free metabelian group. (Russian) Fundam. Prikl. Mat. 7 (2001), no. 3, 873--885.

20. M. G. Amaglobeli, V. N. Remeslennikov, G-identities and G-varieties, Algebra and Logic 39 (2000), no. 3, 141-154.

21. I. M. Chiswell and V. N. Remeslennikov. Equations in free groups with one variable: I, J. Group Theory, 2000, 3, no. 4, 445466.

22. G. Baumslag, A. Miasnikov, V. N. Remeslennikov. Discriminating and co-discriminating groups, J. Group Theory, 2000, 3, no. 4, 467479.

23. A. Myasnikov, V. Remeslennikov, Algebraic geometry over groups. II. Logical foundations. J. Algebra 234 (2000), no. 1, 225-276.

24. G. Baumslag, A. Miasnikov, V. N. Remeslennikov. Algebraic geometry over groups I. Algebraic sets and ideal theory. J. Algebra. 1999, 219, 16-79.

25. G. Baumslag, A. Miasnikov, V. N. Remeslennikov. Algebraic geometry over groups, in: Algorithmic Problems in Groups and Semigroups, Birkhauser, Boston, 1999, 35-50.

26. G. Baumslag, A. Myasnikov, V. Remeslennikov. Malnormality is decidable in free groups. Internat. J. Algebra Comput. 9 (1999), no. 6, 687-692.

27. A. M. Gaglione, A. Myasnikov, V. Remeslennikov, D. Spellman. Formal power series representations of free exponential groups. Communications in Algebra, 25(2), 1997, 631-648.

28. A. G. Myasnikov, V. N. Remeslennikov. Exponential groups. II. Extensions of centralizers and tensor completion of CSA-groups. Internat. J. Algebra Comput. 6 (1996), no. 6, 687-711.

29. V. Ya. Belajev, E. E. Lutikova, V. N. Remeslennikov. Finitely generated algebraic systems categorical in HF-logic. Algebra and Logic 34 (1995), no. 1, 6-17.

30. A. G. Miasnikov, V. N. Remeslennikov. Exponential groups I: Foundations of the theory and tensor completion. Siberian Math. J. 35 (1994), no. 5, 986-996.

 

 

 

 

February 2006