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 Roman’kov (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, 190—197.

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, 378—383.

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, 445–466.

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

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. Bel’ajev, E. E. L’utikova, 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