The paper is devoted to the scientific and pedagogical activity of A. I. Kokorin, the founder of the Irkutsk algebraic-logical school, whose 90th anniversary is celebrated in November 2019. Five research areas with the most significant contributions made by A. I. Kokorin are described. A brief overview of his achievements in each area is established. A list of publications, as well as that of dissertations, defended under supervising by A. I. Kokorin is given.

Vasiliy Bludov, Dr. Sci. (Phys.–Math.), Prof., Baikal State University, 11, Lenina st., Irkutsk, 664003, Russian Federation, +7 (3952)52-26-22, e-mail: 89642775758@yandex.ru

Nikolay Peryazev, Dr. Sci. (Phys.–Math.), Prof., Saint-Petersburg Electrotechnical University “LETI”, 5, Professora Popova St., Saint Petersburg, 197375, Russian Federation, tel.:(812)3464487, e-mail: nikolai.baikal@gmail.com

Sergey Vinokurov, Dr. Sci. (Phys.–Math.), Prof., Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation, tel.: +7(3952)200567, e-mail: servin38@gmail.com

Vladimir Panteleev, Dr. Sci. (Phys.–Math.), Prof., Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation  tel.: +7(3952)242214, e-mail: vl.panteleyev@gmail.com

Bludov V.V., Peryazev N.A., Vinokurov S.F., Panteleev V.I. About scientific and pedagogical activity of A. I. Kokorin. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 29, pp. 138-154. (in Russian) https://doi.org/10.26516/1997-7670.2019.29.138

1. Algebra. Issue 1. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1972, 135 p. (in Russian.)
2. Algebra. Issue 2. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1973, 164 p. (in Russian.)
3. Algebraicheskie sistemy : mezhvuz. sb [Algebraic systems]. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1976, 169 p. (in Russian.)
4. Algoritmicheskie voprosy algebraicheskih sistem [Algorithmic problems of algebraic systems]. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1978, 217 p. (in Russian.)
5. Algoritmicheskie voprosy algebraicheskih sistem i JeVM [Algorithmic problems of algebraic systems and computers]. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1979, 224 p. (in Russian.)
6. Algoritmicheskie voprosy algebraicheskih sistem i JeVM [Algorithmic problems of algebraic systems and computers]. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1985, 152 p. (in Russian.)
7. Algebraicheskie sistemy. Algoritmicheskie voprosy i JeVM [Algebraic system. Algorithmic problems and computers]. Edited by A. I. Kokorin. Irkutsk, IGU Publ, 1986, 178 p. (in Russian.)
8. Bludov V.V. Uniquely orderable groups. Algebra and Logic. Kluwer Academic Publishers-Plenum Publishers, 1974, vol. 13 no. 6, pp. 343–360.
9. Bludov V.V. Nekotorye voprosy teorii uporjadochivaemyh grupp [Some questions of orderable group theory]. Cand.Sci. [Phys.-Math.] Dissertation, Novosibirsk, 1975, 106 p. (in Russian.)
10. Bludov V.V., Kokorin A. I. Poluodnorodno reshetochno uporjadochennye gruppy [Semihomogeneously lattice-ordered groups]. Algebraicheskie sistemy. Irkutsk, IGU Publ., 1976, pp. 3–16. (in Russian.)
11. Bludov V.V., Kokorin A. I. T-generically ordered groups. Sib. Math. J. 1979, vol. 20, no. 6, pp. 868–872.
12. Bludov V.V., Kokorin A. I. Use of computers in solving well-known algebra problems. Kibernetika. 1982, no. 6, pp. 819–829.
13. Bludov V.V., Lapshina E. S. On ordering of groups with nilpotent commutator subgroup. Siberian Math. J. 2003, vol. 44 no. 3. pp. 1–8.
14. Boldonov V. I. Obektnoe modelirovanie i funkcional’naja universal’nost’ v zadachah postroenija baz dannyh [Object modeling and functional universality in database construction tasks]. Cand.Sci. [Tech.] Dissertation, Irkutsk, 1983. 157 p. (in Russian.)
15. Boldonov V. I., Kokorin A. I., Penzin Ju.G. Podhod k avtomatizacii kursovyh jekzamenov po matematike [Approach to automation of course exams in mathematics]. Algoritmicheskie voprosy algebraicheskih sistem : mezhvuz. sb. Irkutsk, 1978, pp. 3–8. (in Russian.)
16. Vasil’ev Ju.P. Primenenie vychislitel’nyh mashin i voprosy faktorizacii v teorii grupp [The application of computers and questions of factorization in the group theory]. Extended Abstract of Cand.Sci. [Phys.-Math.] Dissertation, Novosibirsk, 1975. 17 p. (in Russian.)
17. Gurevich Ju. Sh., Kokorin A. I. Universal’naja jekvivalentnost’ uporjadochennyh abelevyh grupp [Universal equivalence of ordered Abelian groups]. Algebra i logika. Novosibirsk, 1963, vol. 2, no. 1, pp. 37–39. (in Russian.)
18. Dulatova Z.A. Algoritmicheskie voprosy v bulevyh algebrah [The algorithmic questions in Boolean algebras]. Cand.Sci. [Phys.-Math.] Dissertation, Irkutsk, 1987. 98 p. (in Russian.)
19. Kargapolov M. I., Kokorin A. I., Kopytov V.M. K teorii uporjadochivaemyh grupp [On the theory of orderable groups]. Algebra i logika. Seminar. Novosibirsk, 1965, vol. 4, no. 6, pp. 21–27. (in Russian.)
20. Klejmenov V. F. Avtomorfizmy nekotoryh klassov uporjadochennyh grupp [Automorphisms of some classes of ordered groups]. Cand.Sci. [Phys.-Math.] Dissertation, Irkutsk, 1986. 92 p. (in Russian.)
21. Kozlov G.T. O teorii abelevyh grupp [On the theory of Abelian groups]. Cand.Sci. [Phys.-Math.] Dissertation, Novosibirsk, 1970. 56 p. (in Russian.)
22. Kozlov G.T., Kokorin A. I. Expanded elementary and universal theories of lattice-ordered abelian groups with a finite number of fibers. Algebra and Logic. Kluwer Academic Publishers-Plenum Publishers, 1968, vol. 7, no. 1, pp. 54–61.
23. Kozlov G.T., Kokorin A. I. Elementary theory of abelian groups without torsion, with a predicate selecting a subgroup. Algebra and Logic. Kluwer Academic Publishers-Plenum Publishers, 1969, vol. 8, no. 3, pp. 182–190.
24. Kozlov G.T., Kokorin A. I., Fridman Je. I. Rasshirennye jelementarnye teorii reshetochno uporjadochennyh abelevyh grupp [Extended elementary theories of lattice-ordered abelian groups]. IX Vsesojuznyj algebraicheskij kollokvium : rez. nauch. soobshh., ijul’ 1968 g. Gomel’. 1968, pp. 95–96. (in Russian.)
25. Kozlov G.T., Kokorin A. I. Proof of a lemma on model completeness. Algebra and Logic. Kluwer Academic Publishers-Plenum Publishers, 1975, vol. 14, no. 5, pp. 328–330.
26. Kokorin A. I. O gruppah, uporjadochivaemyh edinstvennym sposobom. [On groups ordered in a unique way]. Doklady Vtoroj Sibirskoj konferencii po matematike i mehanike. Tomsk, 1962, pp. 87–88. (in Russian.)
27. Kokorin A. I. O klasse strukturno uporjadochennyh grupp. [On a class of lattice-ordered groups]. Matematicheskie zapiski. Sverdlovsk, 1962, vol. 3, no. 3, pp. 37–38. (in Russian.)
28. Kokorin A. I. Voprosy uporjadochenija grupp. [Questions of group ordering]. Extended Abstract of Cand.Sci. [Phys.-Math.] Dissertation, Sverdlovsk, 1963. 7 p. (in Russian.)
29. Kokorin A. I. Douporjadochivaemost’ prjamogo proizvedenija douporjadochivaemyh grupp. [Complete orderability of the direct product of completely orderable groups]. Matematicheskie zapiski. Sverdlovsk, 1963, vol. 4, no. 3, pp. 95–96. (in Russian.)
30. Kokorin A. I. K teorii vpolne douporjadochivaemyh grupp. [Toward a theory of fully orderable groups]. Matematicheskie zapiski. Sverdlovsk, 1963, vol. 4, no. 3, pp. 25–29. (in Russian.)
31. Kokorin A. I. K teorii douporjadochivaemyh grupp. [Toward a theory of completely orderable groups]. Algebra i logika. Seminar. Novosibirsk, 1963, vol. 2, no. 6, pp. 15–20. (in Russian.)
32. Kokorin A. I. O douporjadochivaemyh gruppah. [On completely orderable groups]. Dokl. AN SSSR. 1963, vol. 151, no. 1, pp. 31–33. (in Russian.)
33. Kokorin A. I. Sposoby strukturnogo uporjadochenija svobodnoj abelevoj gruppy s konechnym chislom obrazujushhih. [Methods of lattice ordering of a free Abelian group with a finite number of generators]. Matematicheskie zapiski. Sverdlovsk, 1963, vol. 4, no. 1, pp. 45–48. (in Russian.)
34. Kokorin A. I. Г-Completely orderable and relatively convex subgroups of orderable groups. Sib. Math. J. 1966, vol. 7, no. 3, pp. 570–572.
35. Kokorin A. I. Uporjadochivaemye gruppy: Speckurs dlja studentov NGU [Orderable Groups]. Novosibirsk, NGU Publ., 1966, 128 p. (in Russian.)
36. Kokorin A. I. Intersection and union of relatively convex subgroups of ordered groups. Algebra and Logic. Kluwer Academic Publishers-Plenum Publishers, 1968, vol. 7, no. 3, pp. 160–161.
37. Kokorin A. I. Matematicheskaja logika i algoritmy: kurs lekcij [Mathematical logic and algorithms]. Angarsk, 1972, 44 p. (in Russian.)
38. Kokorin A. I. Rasshirennye teorii i otnositel’naja razreshimost’ [Extended theories and relative decidability]. Pjataja Vsesojuznaja konferencija po matematicheskoj logike, posvjashhennaja 70-letiju akademika A. I. Mal’ceva : tez. dokl. Novosibirsk, 27–29 nojab. 1979 g. Novosibirsk, 1979, p. 68. (in Russian.)
39. Kokorin A. I. Otnositel’naja razreshimost’ teorij mnogoosnovnyh modelej [Relative decidability of multi-core models]. XVI Vsesojuznaja algebraicheskaja konferencija : tezisy. Leningrad, 22–25 sent. 1981 g. Leningrad, 1981, vol. 1, p. 75. (in Russian.)
40. Kokorin A. I. Svjaz’ voprosov razreshimosti i ocenki metoda SPF postroenija optimal’nyh strategij [Connection of decidability questions and evaluation of the SPF method for optimal strategy construction]. Problemy teoreticheskoj kibernetiki : tez. dokl. Sed’moj Vsesojuz. konf. Irkutsk, 18–20 sent. 1985 g. Irkutsk, 1985, vol. 1, p. 96. (in Russian.)
41. Kokorin A. I. Matematicheskaja model’ perehoda ot politeizma k monoteizmu [Mathematical model of transition from polytheism to monotheism]. Logika i sistemnye metody analiza nauchnogo znanija : tezisy dokladov k IX Vsesojuznomu soveshhaniju po logike, metodologii i filosofii nauki. Har’kov. Sekcii 1–5. Moscow, 1986, pp. 198–200. (in Russian.)
42. Kokorin A. I., Kopytov V.M. O nekotoryh klassah uporjadochennyh grupp. [On some classes of orderable groups]. Algebra i logika. Seminar. Novosibirsk, 1962, vol. 1, no. 3, pp. 21–23. (in Russian.)
43. Kokorin A. I., Kopytov V.M. Otnositel’naja vypuklost’ obobshhennyh centrov uporjadochivaemyh grupp. [Relative convexity of generalized centers of orderable groups]. Matematicheskie zapiski. Sverdlovsk, 1965, vol. 5, no. 1, pp. 49–53. (in Russian.)
44. Kokorin A. I., Kopytov V.M. Otnositel’no vypuklye podgruppy uporjadochivaemyh grupp. [Relatively convex subgroups of orderable groups]. Trudy Mezhdunarodnogo kongressa matematikov : sekcija 2 : tez. krat. nauch. soobshh. [Moskva, 16–26 avg. 1966 g.]. Moscow, 1966, p. 44. (in Russian.)
45. Kokorin A. I., Kopytov V.M. Relatively convex subgroups of orderable groups. Sib. Math. J. 1968, vol. 9, no. 4, pp. 622–628.
46. Kokorin A. I. and Kopytov V.M. Fully Ordered Groups. New York, J. Wiley & Sons, 1974, 147 p.
47. Kokorin A. I., Mart’janov V. I. Ob universal’nyh rasshirennyh teorijah [On universal extended theories]. XII Vsesojuznyj algebraicheskij kollokvium : tez. soobshh. Sverdlovsk, 1973, no. 1, p. 26. (in Russian.)
48. Kokorin A. I., Mart’janov V. I. Universal’nye rasshirennye teorii [Universal extended theories]. Algebra : [sb. st.]. Irkutsk, 1973, no. 2, pp. 107–113. (in Russian.)
49. Kokorin A. I., Mart’janov V. I. Svjazi universal’nyh rasshirennyh teorij [Connections in universal extended theories]. Tret’ja Vsesojuznaja konferencija po matematicheskoj logike : tez. dokl., 23–27 ijunja 1974 g. Novosibirsk, 1974, p. 113. (in Russian.)
50. Kokorin A. I., Mart’janov V. I., Fridman Je. I. Otnositel’naja razreshimost’ i rasshirennye teorii [Relative decidability and extended theories]. 14-ja Vsesojuznaja algebraicheskaja konferencija : tez. dokl. Novosibirsk, 1977, vol. 2 : Kol’ca. Algebraicheskie sistemy, p. 103. (in Russian.)
51. Kokorin A. I., Pinus A.G. Decidability problems of extended theories. Russian Mathematical Surveys, 1978, vol. 33, no. 2, pp. 53–96.
52. Kokorin A. I., Tarasova V.P. Matematicheskaja model’ perehoda ot politeizma k monoteizmu [Mathematical model of transition from polytheism to monotheism]. Algebra, logika i prilozhenija : sb. nauch. tr. Irkutsk, IGU Publ., 1994, pp. 5–14. (in Russian.)
53. Kokorin A. I., Fridman Je. I. Razreshimost’ jelementno-vypuklo-podgruppovyh teorij uporjadochennyh i uporjadochivaemyh abelevyh grupp [Decidability of element-convex-subgroups-theories of ordered and orderable abelian groups]. Materialy nauchnoj konferencii za 1969–1970 gg. Irkutsk, 1970, no. 2 : Matematika, geografija, geologija, pp. 56–57. (in Russian.)
54. Kokorin A. I., Fridman Je. I. Rasshirenie teorii abelevyh grupp [Extended theories of abelian groups]. Materialy Vos’moj mezhvuzovskoj matematicheskoj nauchnoj konferencii Dal’nego Vostoka. Habarovsk, 1970, pp. 15–16. (in Russian.)
55. Kokorin A. I., Fridman Je. I. Jelementno-servantno-podgruppovaja teorija abelevyh grupp [Element-serving-subgroup-theory of abelian groups]. XI Vsesojuznyj algebraicheskij kollokvium : rez. soobshh. i dokl. Kishinev, 1971, p. 46. (in Russian.)
56. Kokorin A. I., Fridman Je. I. Prilozhenie voprosov razreshimosti. [Application of the decidability problems]. Algoritmicheskie voprosy algebraicheskih sistem i JeVM : sb. nauch. tr. Irkutsk, 1979, pp. 84–96. (in Russian.)
57. Kokorin A. I., Hisamiev N.G. Jelementarnaja klassifikacija strukturno uporjadochennyh abelevyh grupp s konechnym chislom nitej [Elementary classification of lattice-ordered Abelian groups with a finite number of fibers,]. Algebra i logika. Novosibirsk, 1966, vol. 5, no. 1, pp. 41–50. (in Russian.)
58. Kontorovich P.G., Kokorin A. I. Ob odnom tipe chastichno uporjadochennyh grupp [On a type of partially ordered groups], Matematicheskie zapiski. Sverdlovsk, 1962, vol. 3, vol. 3, pp. 39–44. (in Russian.)
59. Kontorovich P.G. Zasedanija Ural’skogo matematicheskogo obshhestva Uspehi mat. nauk. 1964, vol. 19, no. 2, pp. 209–223. Zasedanie 14 nojabrja 1962 g. po teme "Ob uporjadochennyh gruppah [On orderable groups]". Avtor doklada A.I. Kokorin. p. 215. (in Russian.)
60. Kopytov V.M. Reshjotochno uporjadochennye gruppy. [Lattice-ordered groups]. Moscow, Nauka Publ., 1984, 320 p. (in Russian.)
61. Kopytov V.M. Groups of Formal Power Series Are Fully Orderable, Algebra and Logic, 1998, vol. 37, no 3, pp. 170–180.
62. Kopytov V.M., Medvedev N.Ya. Right-ordered Groups. New York, Plenum Publ. Corp., 1996, 250 p.
63. Mancivoda A.V. Abstraktnye tipy dannyh i avtomaticheskoe dokazatel’stvo teorem. [Abstract data types and the automatic theorem proving]. Cand.Sci. [Phys.-Math.] Dissertation, Irkutsk, 1988, 121 p. (in Russian.)
64. Mart’janov V. I. Jelementno-podgruppovye teorii abelevyh grupp s avtomorfizmom. [Element-subgroup theories of Abelian groups with automorphism]. Cand.Sci. [Phys.- Math.] Dissertation, Irkutsk, 1979, 90 p. (in Russian.)
65. Nereshennye voprosy matematicheskoj logiki. Logicheskaja tetrad’. [Unsolved Problems in mathematical logic. The Logical Notebook]. Novosibirsk, IM SO AN SSSR Publ., 1986. (in Russian.)
66. Unsolved Problems in Group Theory. The Kourovka Notebook, 15th ed. Novosibirsk, Institute of Mathematics SO RAN Publ., 2002.
67. Nereshennye problemy teorii kolec i modulej. Dnestrovskaja tetrad’. [Unsolved Problems in the theory of rings and modules. The Dnestr Notebook]. Novosibirsk, IM SO AN SSSR Publ., 1969. (in Russian.)
68. Penzin Ju.G. Algoritmicheskie voprosy teorii chisell. [The algorithmic questions of number theory]. Cand.Sci. [Phys.-Math.] Dissertation, Irkutsk, 1975. 67 p. (in Russian.)
69. Perjazev N.A. Neotlichimost’, polnota i razreshimost’ pozitivnyh teorij. [Indiscernibility, completeness and decidability of positive theories]. Cand.Sci. [Phys.-Math.] Dissertation, Irkutsk, 1987, 87 p. (in Russian.)
70. Slobodskoj A.M. Voprosy razreshimosti universal’nyh i rasshirennyh teorij. [The questions of decidability of the universal and extended theories]. Cand.Sci. [Phys.- Math.] Dissertation, Irkutsk, 1980. 106 p. (in Russian.)
71. Fridman Je. I. Rasshirennye i ogranichennye teorii abelevyh grupp i reshetok. [Extended and restricted theories of Abelian groups and lattices]. Cand.Sci. [Phys.- Math.] Dissertation, Irkutsk, 1981. 133 p. (in Russian.)
72. Fuchs L. Partially Ordered Algebraic Systems. New York, Pergamon Press, 1963. 229 p.
73. Hisamiev N.G. Voprosy jelementarnoj teorii reshetochno uporjadochennyh algebraicheskih sistem. [The questions of elementary theory of lattice-ordered algebraic systems]. Cand.Sci. [Phys.-Math.] Dissertation, Novosibirsk, 1968. (in Russian.)
74. Bludov V.V., Glass A.M.W., Kopytov V.M., Medvedev N.Ya. Unsolved Problems in Ordered and orderable Groups. 2009, p. 27. arXiv: 0906.26211v1 [math.GR].
75. Dlab V. On a family of simple ordered groups. J. Austral. Math. Soc. 1968, vol. 8[3], pp. 591–608. https://doi.org/10.1017/S1446788700006261
76. Glass A.M.W. Partially Ordered Groups. Series in Algebra. Singapore, World Scientific, 1999, vol. 7, 324 p.
77. Kokorin A. I. Mathematical model of transition from polytheism to monotheism. 8 International congress of logic, methodology and philosofy of science : section 2. Moscow, Aug. 17–22, 1987. Moscow, 1987, vol. 1, pp. 98–100.
78. Kopytov V.M., Medvedev N.Ya. The theory of lattice-ordered groups. Dordrecht, Kluwer Academic Publ., 1994, 400 p. https://doi.org/10.1007/978-94-015-8304-6
79. Longobardi P., Maj M., Rhemtulla A.H. On solvable R^∗-groups J. Group Theory. 2003, vol. 6 no. 4, pp. 499–503. https://doi.org/10.1515/jgth.2003.034
80. Mura R.B, Rhemtulla A.H. Orderable groups. Lecture Notes in Pure and Applied Mathematics. New York, Marcel Dekker, 1977, vol. 27, p. 169.