рус eng
Главная \ Кафедры \ КАИС \ 50 лет кафедре алгебры и логики \

История кафедры

Презентация к юбилею

А. И. Кокорин. Этапы научно-педагогического пути

Биографические данные

Али Иванович Кокорин родился 15 ноября 1929 г. в Свердловске (ныне г. Екатеринбург). Окончив среднюю школу, он поступил в военное училище. После завершения учебы А. И. Кокорин проходил службу в рядах Советской Армии на Дальнем Востоке офицером морской пехоты в г. Порт-Артуре вплоть до демобилизации. Во время службы в Китае А. И. Кокорин был награжден медалью Китайской Народной Республики «Дружба». 

После демобилизации в 1954 г. Али Иванович вернулся в Свердловск, устроился на Уральский машиностроительный завод и поступил на заочное отделение физико-математического факультета Уральского государственного университета на специальность «Математика». С 3-го курса перевелся на очную форму обучения и уволился с завода, однако из-за тяжелого материального положения продолжил трудовую деятельность тренером по шахматам и плаванию.

Дальнейшую жизнь после окончания Уральского государственного университета и научно-педагогическую деятельность Али Ивановича можно разбить на три периода.

Свердловский период (1960–1964 гг.)

С 1960 года А. И. Кокорин работал ассистентом, затем старшим преподавателем в Свердловском филиале Заочного института советской торговли и учился в аспирантуре Уральского государственного университета. Учеба в аспирантуре прервалась на один год, в течение которого Али Иванович работал учителем математики в поселковой школе. В аспирантуре Али Иванович под влиянием создателя уральской алгебраической школы профессора П. Г. Канторовича занялся новым направлением в алгебре — упорядоченными группами, быстро став лидером этого направления. Достижения этого периода были настолько значительны, что результаты (аспиранта!) попали в хронику заседаний Уральского математического общества [59] и были опубликованы в журнале «Доклады АН СССР» [32].

Ссылки на работы А. И. Кокорина свердловского периода встречаются практически во всех монографиях по алгебраическим структурам, связанных с упорядоченными группами. Отметим в связи с этим такие известные монографии, как [46; 60; 62; 72; 76; 78; 80]. За время учебы в аспирантуре под руководством профессора П. Г. Канторовича Али Иванович подготовил кандидатскую диссертацию на тему «Вопросы упорядочения групп», которую защитил в 1964 г. в диссертационном совете Новосибирского государственного университета.

Новосибирский период (1964–1969 гг.)

В 1964 году Али Иванович по приглашению академика А. И. Мальцева переехал в новосибирский Академгородок, где начал работу на кафедре алгебры и математической логики Новосибирского государственного университета старшим преподавателем, затем доцентом. В НГУ А. И. Кокорин читал спецкурс и вел семинар по упорядочиваемым группам. Материалы спецкурса «Упорядочиваемые группы» [35] были опубликованы в издательстве НГУ в 1966 г. (это был первый выпуск известной серии «Библиотека кафедры алгебры и математической логики», впоследствии изданы более 20 выпусков) и стали основой книги «Линейно упорядоченные группы» [46], вышедшей в издательстве «Наука» в 1972 г. (в соавторстве с В. М. Копытовым). Это была первая книга всемирно известной серии «Современная алгебра».

В этот период под руководством А. И. Кокорина защищены две кандидатские диссертации (в одной из них соруководителем был А. Д. Тайманов).


В 1950–60-е годы большое внимание математиков уделялось теоретико-модельным исследованиям в алгебре и математической логике. В Новосибирске эти исследования проводились под руководством академика А. И. Мальцева. Поэтому Али Иванович включил в свои исследования вопросы разрешимости и элементарной классификации такой естественной логической модели, как упорядоченная группа G, ·, ≤. Это отразилось и на его учениках, защитивших кандидатские диссертации в новосибирский период — обе диссертации содержали результаты по элементарной теории решеточно упорядоченных абелевых групп.

Иркутский период (1969–1987 гг.)

В 1969 году Али Иванович по приглашению ректора Иркутского государственного университета Н. Ф. Лосева переехал в Иркутск и на математическом факультете Иркутского государственного университета создал кафедру алгебры и логики. Это время можно назвать периодом основания алгебро-логической школы Иркутска, ведь А. И. Кокорин был первым специалистом по алгебре и математической логике в городе. Став заведующим кафедрой, Али Иванович начал бурную деятельность по развитию алгебро-логического направления: организовал научные семинары и выпуск сборников научных трудов по алгебре, математической логике и кибернетике [1–7], провел научную конференцию всесоюзного уровня. Для обсуждений проводимых в Иркутске научных исследований приглашались ведущие специалисты из Москвы, Новосибирска, Ленинграда, Киева, Кишинева, Свердловска. Серьезно Али Иванович относился и к работе с молодежью: читал лекции школьникам в летней физико-математической школе, привлекал к работе семинаров, а затем и к научным исследованиям, студентов. Почти все ученики Али Ивановича этого периода были выпускниками Иркутского государственного университета.

В круг научных интересов кафедры всегда входили вопросы, связанные с применением компьютеров (или ЭВМ по другой терминологии) в образовании и в прикладных научных исследованиях. Исследования в этом направлении особенно активизировались к концу 70-х — началу 80-х годов. Это было отражено в названии кафедры. С 1984 года кафедра стала называться кафедрой алгебры, логики и кибернетики.

За достижение выдающихся научных результатов и значительных успехов в создании иркутской алгебро-логической школы в 1981 году А. И. Кокорину было присвоено ученое звание профессора.

Кафедрой Али Иванович руководил с момента ее создания 5 декабря 1969 г. и до последних дней своей жизни. Скончался А. И. Кокорин в Иркутске 22 октября 1987 г. после тяжелой скоротечной болезни (похоронен в Свердловске).

Научно-педагогическая деятельность

В научной деятельности Али Ивановича можно выделить пять направлений, которые тесно пересекаются между собой.

Теория упорядоченных групп

Исследования в этом направлении активно проводились А. И. Кокориным с начала 1960-х и до середины 1980-х гг., когда была защищена кандидатская диссертация его аспиранта В. Ф. Клейменова. За этот период им была опубликована 21 работа [10;11;19;26–36;42–46;58;59], из которых 10 — за время работы в г. Свердловске, 8 — Новосибирске и 3 — Иркутске.

Его первая публикация [26] содержала тезисы доклада на Второй Сибирской конференции по математике и механике, и была процитирована в монографии Л. Фукса [72]. В тезисах анонсировалось доказательство существования линейно упорядоченной группы с единственным способом упорядочения. Однако подход, предложенный А. И. Кокориным, реализован в дальнейшем не был. Но все же существование таких групп было доказано через несколько лет В. Длабом [75] и В. В. Блудовым [8].

В 1962 году вышли еще три работы А. И. Кокорина [27; 42; 58], которые стали частью его кандидатской диссертации. Отметим, что в работе [58] рассматривался полуоднородный порядок (который может меняться на противоположный при умножении неравенства на общий кратный элемент). В то время это было новым направлением в теории некоммутативных упорядочиваемых групп, и оно нашло продолжение только в конце 1970-х гг. в публикациях [10; 11], когда Али Иванович работал в Иркутске.

Еще одно направление в теории упорядочиваемых групп связано с изучением возможности продолжения частичных порядков до полных (линейных) порядков. Группы, в которых такое продолжение всегда возможно, называются доупорядочиваемыми. И хотя понятие доупорядочиваемой группы возникло в 1950 г. в работах японского математика Ониси (см. [46], гл. II, §1, теорема 5), основные результаты по теории доупорядочиваемых групп были получены в 1960-х гг. М. И. Каргаполовым, А. И. Кокориным и В. М. Копытовым [29–32; 34]. Далее на протяжении полувека были опубликованы только три статьи по данной тематике [13; 61; 79].

В свердловский период также вышли статьи [17;33], выполненные на стыке алгебры и математической логики, и обзорный доклад [59].

Работы А. И. Кокорина [19;34;36;43–45], выполненные в Новосибирске, были посвящены свойствам относительно выпуклых подгрупп.

По этому направлению под руководством А. И. Кокорина были защищены две диссертации [9; 20].

Универсальные и расширенные теории упорядоченных групп

А. И. Кокорин занимался этим направлением в основном с 1963 по 1970 г., им были опубликованы пять работ [17; 22; 24; 53; 57]: в свердловский период — 1, новосибирский — 3, иркутский — 1; его аспиранты защитили две диссертации [21; 73]. Приведем воспоминание Н. Г. Хисамиева (его научными руководителями были А. И. Кокорин и А. Д. Тайманов), которое характеризует работу Али Ивановича со своими учениками: «У Али Ивановича была удивительная способность внушать своим ученикам веру в свои силы. Я был на стажировке в Новосибирске 2 года и учился в аспирантуре 3 года. Руководителем был А. Д. Тайманов. Оставалось до окончания [аспирантуры] менее двух лет. У меня не было научных результатов. Как-то А. И. Кокорин предложил задачу об элементарной классификации структурно упорядоченных абелевых групп с конечным числом носителей. Им была сформулирована теорема. В процессе совместной работы было найдено и ее доказательство. Я многому научился у него, как нужно оформлять статьи. Эти результаты составили основу кандидатской диссертации. А. Д. Тайманов предложил включить А. И. Кокорина соруководителем моей кандидатской диссертации. А. И. Кокорин чувствовал передний край науки, умел находить учеников и организовывать научную школу».

Расширенные теории и вопросы разрешимости (1969–1981 гг.)

Были опубликованы 14 работ [23;25;37–40;47–51;54–56]: одна в новосибирский период, а остальные — в иркутский. Ученики А. И. Кокорина защитили 6 кандидатских диссертаций [18;64;68–71]. Исследование расширенных теорий и вопросов разрешимости для А. И. Кокорина было основным в иркутский период, он уделял большое внимание ученикам, создавая в Иркутске с нуля научную алгебро-логическую школу. Почти все публикации по этому направлению были подготовлены Али Ивановичем в соавторстве с его учениками. Две статьи [51;56] имели обзорный характер и были написаны по результатам пленарных докладов, сделанных на всесоюзных конференциях по математической логике. Статья [51] вышла в престижном математическом журнале «Успехи математических наук».

Применение ЭВМ в алгебре и математической логике (1975–1985 гг.)

Это направление под непосредственным руководством Али Ивановича в основном разрабатывали его ученики, которые защитили 3 диссертации [14;16;63]. А. И. Кокорин в соавторстве с учениками опубликовал 2 статьи [12;15]. Статья [12], написанная совместно с В. В. Блудовым, носила обзорный характер и была опубликована в известном киевском журнале «Кибернетика».

Математическое моделирование общественных процессов (1985–1987 гг.)

Отечественная история, религия, христианство и язычество на Руси всегда входили в круг интересов А. И. Кокорина. Тысячелетие крещения Руси (1988 г.) он воспринимал как дату серьезного события в истории русской государственности, поэтому к этой дате много занимался вопросами религии, моделировал переход к единобожию. Для построения математической модели перехода от политеизма к монотеизму А. И. Кокорин использовал новую для него область математики — теорию игр.

Построенная А. И. Кокориным модель перехода от язычества к христианству в виде позиционной игры заинтересовала историков и религиоведов. В августе 1987 г. в Москве проходил VIII Международный конгресс по логике, методологии и философии науки, организатором которого была Академия наук СССР под эгидой Отделения логики, методологии и философии науки Международного союза истории и философии науки. Программный комитет пригласил Али Ивановича принять участие в работе конгресса. Али Иванович принял приглашение и выступил с докладом, в котором дал обоснование построенной им математической модели перехода от политеизма к монотеизму. Выступление вызвало широкий интерес, и А. И. Кокорина пригласили выступить с более подробным докладом его идей в Институт философии АН СССР. Предложенная математическая модель, детально изложенная на семинаре в Институте философии, была признана перспективной, исследования получили полное одобрение и пожелание не останавливаться на полученных результатах в этом направлении. К сожалению, тяжелая болезнь прервала эти исследования. Али Иванович всего несколько месяцев не дожил до официального празднования 1000-летия крещения Руси. Он успел опубликовать по этому направлению только тезисы своих докладов [41; 77]. Работу [52] оформила и опубликовала В. П. Тарасова уже после смерти А. И. Кокорина.

Постановка открытых вопросов

В 1965-м году вышел перевод на русский язык книги Л. Фукса [72] по упорядоченным алгебраическим системам, в конце которой был приведен список открытых вопросов. Это начинание было поддержано А. И. Кокориным при написании спецкурса [35], куда частично вошли вопросы из книги [72], а также и новые вопросы, поставленные автором. В дальнейшем материалы спецкурса (вместе с открытыми вопросами) вошли в монографию [46], куда были дополнительно записаны новые вопросы. Всего получилось 37 вопросов (проблемы 1–37). К настоящему времени из этого списка решены проблемы 1, 2, 4, 7, 8, 10, 11, 13, 15, 16, 31, 33 и 37. Часть из этих вопросов была записана А. И. Кокориным в «Коуровской тетради» [66] (проблемы 1.41–1.54, 1.56, 1.60, 1.61, 2.24–2.26, 2.28, 3.17). Шестнадцать проблем уже решены (1.41–1.45, 1.47–1.50, 1.52, 1.53, 1.56, 1.60, 1.61, 2.25 б) и 3.17).

В [66] вошли также новые вопросы, возникшие на стыке теории упорядочиваемых групп и теории моделей (проблемы 1.55, 3.18–3.20, 5.20) и три проблемы чисто по теории моделей, объединённые под одним номером (3.21 а)–в)). К настоящему времени проблемы 3.18, 3.19, 3.21 а)–в) и 5.20 уже решены.

Отметим также, что многие из поставленных А. И. Кокориным вопросов по теории упорядоченных групп, вошли в книги и обзоры других авторов, так, например, в обзор [74] вошли вопросы 1.24, 3.4, 3.15, 3.17, 3.19, 3.26–3.28 со ссылкой на А. И. Кокорина.

Али Иванович ставил вопросы не только в теории групп, но и в теории колец (проблемы 1.69–1.70) в «Днестровской тетради» [67] и математической логике (проблемы 89–91) в «Логической тетради» [65].

Список литературы

  1. Алгебра. Выпуск 1 / под ред. А. И.Кокорина. Иркутск : Изд-во ИГУ, 1972.135 с. 
  2. Алгебра. Выпуск 2 / под ред. А. И.Кокорина. Иркутск : Изд-во ИГУ, 1973.164 с.
  3. Алгебраические системы : межвуз. сб. / под ред. А. И. Кокорина. Иркутск : Изд-во ИГУ, 1976. 169 с.
  4. Алгоритмические вопросы алгебраических систем / под ред. А.И. Кокорина. Иркутск : Изд-во ИГУ, 1978. 217 с.
  5. Алгоритмические вопросы алгебраических систем и ЭВМ / под ред. А. И. Кокорина. Иркутск : Изд-во ИГУ, 1979. 224 с.
  6. Алгоритмические вопросы алгебраических систем и ЭВМ / под ред. А. И. Кокорина. Иркутск : Изд-во ИГУ, 1985. 152 с.
  7. Алгебраические системы. Алгоритмические вопросы и ЭВМ / под ред. А. И. Кокорина. Иркутск : Изд-во ИГУ, 1986. 178 с.
  8. Блудов В. В. Группы, упорядочиваемые единственным способом // Алгебра и логика. Новосибирск, 1974. Т. 13 № 6. С. 609–634.
  9. Блудов В. В. Некоторые вопросы теории упорядочиваемых групп : дис. ...канд. физ.-мат. наук. Новосибирск, 1975. 106 c.
  10. Блудов В. В., Кокорин А.И. Полуоднородно решеточно упорядоченные группы // Алгебраические системы, ИГУ, Иркутск, 1976, С. 3–16. 
  11. Блудов В. В., Кокорин А. И. Т-родно упорядоченные группы // Сиб. мат. журн. 1979. Т. 20, № 6. С. 1226–1232.
  12. Блудов В. В., Кокорин А. И. Использование ЭВМ при решении известных проблем в алгебре // Кибернетика. 1982, № 6. С. 95–101, 110.
  13. Блудов В. В., Лапшина Е. С. Об упорядочении групп с нильпотентным коммутантом // Сиб. мат. журн. – 2003. – Т. 44, № 3. – С. 513–520.
  14. Болдонов В. И. Объектное моделирование и функциональная универсальность в задачах построения баз данных : дис. ...канд. техн. наук. Иркутск, 1983. 157 c.
  15. Болдонов В. И., Кокорин А.И., Пензин Ю. Г. Подход к автоматизации курсовых экзаменов по математике // Алгоритмические вопросы алгебраических систем : межвуз. сб. Иркутск, 1978. С. 3–8.
  16. Васильев Ю. П. Применение вычислительных машин и вопросы факторизации в теории групп : автореф. дис. ...канд. физ.-мат. наук. Новосибирск, 1975. 17 с.
  17. Гуревич Ю.Ш., Кокорин А.И. Универсальная эквивалентность упорядоченных абелевых групп // Алгебра и логика. Новосибирск, 1963. Т. 2, вып. 1. С. 37–39.
  18. Дулатова З. А. Алгоритмические вопросы в булевых алгебрах : дис. ...канд. физ.-мат. наук. Иркутск, 1987. 98 c.
  19. Каргаполов М. И., Кокорин А. И., Копытов В. М. К теории упорядочиваемых групп // Алгебра и логика. Семинар. Новосибирск, 1965. Т. 4, вып. 6. С. 21–27.
  20. Клейменов В. Ф. Автоморфизмы некоторых классов упорядоченных групп : дис. ...канд. физ.-мат. наук. Иркутск, 1986. 92 с.
  21. Козлов Г. Т. О теории абелевых групп : дис. ...канд. физ.-мат. наук. Новосибирск, 1970. 56 c.
  22. Козлов Г. Т., Кокорин А. И. Расширенные элементарная и универсальная теории решеточно упорядоченных абелевых групп с конечным числом нитей // Алгебра и логика. Новосибирск, 1968. Т. 7, вып. 1. С. 91–103.
  23. Козлов Г. Т., Кокорин А.И. Элементарная теория абелевых групп без кручения с предикатом, выделяющим подгруппу // Алгебра и логика. Семинар : [сб. тр.]. Новосибирск, 1969. Т. 8, вып. 3. С. 320–334. 
  24. Козлов Г. Т., Кокорин А. И., Фридман Э. И. Расширенные элементарные теории решеточно упорядоченных абелевых групп // IX Всесоюзный алгебраический коллоквиум : рез. науч. сообщ., июль 1968 г. Гомель, 1968. С. 95–96.
  25. Козлов Г. Т., Кокорин А. И. Доказательство леммы о модельной полноте // Алгебра и логика. Семинар : [сб. тр.]. Новосибирск, 1975. Т. 14, вып. 5. С. 533–535.
  26. Кокорин А. И. О группах, упорядочиваемых единственным способом // Доклады Второй Сибирской конференции по математике и механике (Томск, 24–29 сентября 1962 г.) Томск, 1962. С. 87–88.
  27. Кокорин А. И. О классе структурно упорядоченных групп // Математические записки. Свердловск, 1962. Т. 3, тетр. 3. С. 37–38.
  28. Кокорин А. И. Вопросы упорядочения групп : автореф. дис. ...канд. физ.-мат. наук. Свердловск, 1963. 7 с.
  29. Кокорин А. И. Доупорядочиваемость прямого произведения доупорядочиваемых групп // Математические записки. Свердловск, 1963. Т. 4, тетр. 3. С. 95–96.
  30. Кокорин А. И. К теории вполне доупорядочиваемых групп // Математические записки. Свердловск, 1963. Т. 4, тетр. 3. С. 25–29.
  31. Кокорин А. И. К теории доупорядочиваемых групп // Алгебра и логика. Семинар. Новосибирск, 1963. Т. 2, вып. 6. С. 15–20.
  32. Кокорин А. И. О доупорядочиваемых группах // Докл. АН СССР. 1963. Т. 151, № 1. С. 31–33.
  33. Кокорин А.И. Способы структурного упорядочения свободной абелевой группы с конечным числом образующих // Математические записки. Свердловск, 1963. Т. 4, тетр. 1. С. 45–48.
  34. Кокорин А.И. Г-доупорядочиваемые и относительно выпуклые подгруппы упорядочиваемых групп // Сиб. мат. журн. 1966. Т. 7, № 3. С. 713–717.
  35. Кокорин А.И. Упорядочиваемые группы: Спецкурс для студентов НГУ, Издво НГУ, Новосибирск, 1966, 128 с.
  36. Кокорин А. И. Пересечение и объединение относительно выпуклых подгрупп упорядочиваемых групп // Алгебра и логика. Семинар : [сб. тр.]. Новосибирск, 1968. Т. 7, вып. 3. С. 48–50.
  37. Кокорин А.И. Математическая логика и алгоритмы: курс лекций. Ангарск, 1972. 44 с.
  38. Кокорин А. И. Расширенные теории и относительная разрешимость // Пятая Всесоюзная конференция по математической логике, посвященная 70-летию академика А. И. Мальцева : тез. докл. Новосибирск, 27–29 нояб. 1979 г. Новосибирск, 1979. С. 68.
  39. Кокорин А.И. Относительная разрешимость теорий многоосновных моделей // XVI Всесоюзная алгебраическая конференция : тезисы. Ленинград, 22–25 сент. 1981 г. Л., 1981. Ч. 1. С. 75.
  40. Кокорин А. И. Связь вопросов разрешимости и оценки метода СПФ построения оптимальных стратегий // Проблемы теоретической кибернетики : тез. докл. Седьмой Всесоюз. конф. Иркутск, 18–20 сент. 1985 г. Иркутск, 1985. Ч. 1. С. 96.
  41. Кокорин А. И. Математическая модель перехода от политеизма к монотеизму // Логика и системные методы анализа научного знания : тезисы докладов к IX Всесоюзному совещанию по логике, методологии и философии науки. Харьков. Секции 1–5. Москва, 1986. С. 198–200.
  42. Кокорин А.И., Копытов В. М. О некоторых классах упорядоченных групп // Алгебра и логика. Семинар. Новосибирск, 1962. Т. 1, вып. 3. С. 21–23. 
  43. Кокорин А. И., Копытов В. М. Относительная выпуклость обобщенных центров упорядочиваемых групп // Математические записки. Свердловск, 1965. Т. 5, тетр. 1. С. 49–53.
  44. Кокорин А. И., Копытов В. М. Относительно выпуклые подгруппы упорядочиваемых групп // Труды Международного конгресса математиков : секция 2 : тез. крат. науч. сообщ. (Москва, 16–26 авг. 1966 г.) М., 1966. С. 44.
  45. Кокорин А. И., Копытов В. М. Относительно выпуклые подгруппы упорядочиваемых групп // Сиб. мат. журн. 1968. Т. 9, № 4. С. 833–839.
  46. Кокорин А.И., Копытов В. М. Линейно упорядоченные группы, Наука, М. 1972. 200 С.
  47. Кокорин А. И., Мартьянов В. И. Об универсальных расширенных теориях // XII Всесоюзный алгебраический коллоквиум : тез. сообщ. Свердловск, 1973. Тетр. 1. С. 26.
  48. Кокорин А. И., Мартьянов В. И. Универсальные расширенные теории // Алгебра : [сб. ст.]. Иркутск, 1973. Вып. 2. С. 107–113.
  49. Кокорин А.И., Мартьянов В. И. Связи универсальных расширенных теорий // Третья Всесоюзная конференция по математической логике : тез. докл., 23–27 июня 1974 г. Новосибирск, 1974. С. 113.
  50. Кокорин А. И., Мартьянов В. И., Фридман Э. И. Относительная разрешимость и расширенные теории // 14-я Всесоюзная алгебраическая конференция : тез. докл. Новосибирск, 1977. Ч. 2 : Кольца. Алгебраические системы. С. 103.
  51. Кокорин А. И., Пинус А. Г. Вопросы разрешимости расширенных теорий // Успехи мат. наук. 1978. Т. 33, вып. 2. С. 49–84.
  52. Кокорин А. И., Тарасова В. П. Математическая модель перехода от политеизма к монотеизму // Алгебра, логика и приложения : сб. науч. тр. Иркутск : Изд-во ИГУ, 1994. С. 5–14.
  53. Кокорин А. И., Фридман Э. И. Разрешимость элементно-выпуклоподгрупповых теорий упорядоченных и упорядочиваемых абелевых групп // Материалы научной конференции за 1969–1970 гг. Иркутск, 1970. Вып. 2 : Математика, география, геология. С. 56–57.
  54. Кокорин А. И., Фридман Э. И. Расширение теории абелевых групп // Материалы Восьмой межвузовской математической научной конференции Дальнего Востока. Хабаровск, 1970. С. 15–16.
  55. Кокорин А. И., Фридман Э. И. Элементно-сервантно-подгрупповая теория абелевых групп // XI Всесоюзный алгебраический коллоквиум : рез. сообщ. и докл. Кишинев, 1971. С. 46.
  56. Кокорин А. И., Фридман Э. И. Приложение вопросов разрешимости // Алгоритмические вопросы алгебраических систем и ЭВМ : сб. науч. тр. Иркутск, 1979. С. 84–96.
  57. Кокорин А.И., Хисамиев Н. Г. Элементарная классификация структурно упорядоченных абелевых групп с конечным числом нитей// Алгебра и логика. Новосибирск, 1966. Т. 5, вып. 1. С. 41–50.
  58. Конторович П. Г., Кокорин А. И. Об одном типе частично упорядоченных групп // Математические записки. Свердловск, 1962. Т. 3, тетр. 3. С. 39–44.
  59. Конторович П. Г. Заседания Уральского математического общества // Успехи мат. наук. 1964. Т. 19, № 2. С. 209–223. Заседание 14 ноября 1962 г. по теме «Об упорядоченных группах». Автор доклада А.И. Кокорин. С. 215.
  60. Копытов В. М. Решёточно упорядоченные группы. M : Наука, 1984. 320 с.
  61. Копытов В. М. Доупорядочиваемость группы формальных степенных рядов // Алгебра и логика. Новосибирск, 1998. Т. 37, № 3. С. 301–319. 
  62. Копытов В. М., Медведев Н. Я. Правоупорядоченные группы, Научная Книга, Новосибирск, 1996, 256 с.
  63. Манцивода А. В. Абстрактные типы данных и автоматическое доказательство теорем : дис. ...канд. физ.-мат. наук. Иркутск, 1988. 121 с.
  64. Мартьянов В. И. Элементно-подгрупповые теории абелевых групп с автоморфизмом : дис. ...канд. физ.-мат. наук. Иркутск, 1979. 90 c.
  65. Нерешенные вопросы математической логики. Логическая тетрадь. Новосибирск : ИМ СО АН СССР, 1986.
  66. Нерешённые вопросы теории групп. Коуровская тетрадь, изд. 15, ИМ СО РАН, Новосибирск (2002); http://www.math.nsc.ru/ alglog.
  67. Нерешенные проблемы теории колец и модулей. Днестровская тетрадь. Новосибирск : ИМ СО АН СССР, 1969.
  68. Пензин Ю. Г. Алгоритмические вопросы теории чисел : дис. ...канд. физ.-мат. наук. Иркутск, 1975. 67 с.
  69. Перязев Н. А. Неотличимость, полнота и разрешимость позитивных теорий : дис. ...канд. физ.-мат. наук. Иркутск, 1987. 87 c.
  70. Слободской А.М. Вопросы разрешимости универсальных и расширенных теорий : дис. ...канд. физ.-мат. наук. Иркутск, 1980. 106 c.
  71. Фридман Э. И. Расширенные и ограниченные теории абелевых групп и решеток : дис. ...канд. физ.-мат. наук. Иркутск, 1981. 113 c.
  72. Фукс Л. Частично упорядоченные алгебраические системы. М : Мир, 1965. 342 p.
  73. Хисамиев Н. Г. Вопросы элементарной теории решеточно упорядоченных алгебраических систем : автореф. дис. ...канд. физ.-мат. наук. Новосибирск, 1968. 14 с.
  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 no. 3. P. 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. M., 1987. Vol. 1. P. 98–100.
  78. Kopytov V. M., Medvedev N. Ya. The theory of lattice-ordered groups. Dordrecht : Kluwer Academic Publ., 1994. P. 400. 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. P. 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.