Доклады

Сергея Владимировича Судоплатова

 

1. Условия нормальности элементарных теорий  (XXIV Всесоюзная научная студенческая конференция, секция математики,  Новосибирский государственный университет, Новосибирск, апрель 1986).

2. О мощных типах малых теорий (Школа-семинар по математической логике, Дальневосточный государственный университет, Владивосток, сентябрь 1988).

3. Powerful types and reducibility property (Международная конференция по алгебре, посвященная 80-летию  А.И. Мальцева, Новосибирский государственный университет, Новосибирск, август 1989).

4. Approximation of projectivity property with acyclic orientation in stable theories (Советско-Французский коллоквиум по теории моделей, Каркаралинск, июнь 1990).

5. Baseness of theories without semi-contours (Советско-Французский коллоквиум по теории моделей, Каркаралинск, июнь 1990).

6. Тригонометрии групп (Алгебраический семинар, Московский государственный университет, Москва, май 1991).

7. On n-theories of graphs (Международная конференция по алгебре, посвященная памяти А.И. Ширшова, Алтайский государственный университет, Барнаул, август 1991).

8. Тригонометрии групп (Вторые научные математические чтения памяти М.Я. Суслина, Саратовский государственный педагогический институт, Саратов, сентябрь 1991).

9. On the number of types in trigonometrical theories (Третий Казахско-Французский коллоквиум по теории моделей, Институт проблем информатики и управления, Алматы, Казахстан, июнь 1994).

10. On a small stable theory with the tree property  (Международная конференция по математической логике, посвященная 85-летию со дня рождения А.И. Мальцева, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 1994).

11. Partial algebras associated with group pair polygonometries (Первая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 1995).

12. On classification of group polygonometries (Вторая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 1997).

13. Automorphism groups of polygonometries (Kurosh Algebraic Conference '98, Московский государственный университет, Москва, май 1998).

14. Group polygonometries (пленарный доклад, Summer School ’98 on Universal Algebra and Ordered Sets, Velke Karlovice, Czech Republic, August 31 – September 5, 1998).

15. On hypergraphs of minimal prime models (Третья Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 1999).

16. On type identifications in trigonometrical theories (Междунар. конф. по мат. логике, посвящ. 90-летию со дня рождения А.И. Мальцева. Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 1999).

17. Omega-stable trigonometries on a projective plane (Пятый Казахско-Французский коллоквиум по теории моделей, Каркаралинск, Казахстан, июнь 2000).

18. On generic group trigonometries (Международный алгебраический семинар, посвященный 70-летию научно-исследовательского семинара МГУ по алгебре, основанного О.Ю. Шмидтом в 1930 г., Московский государственный университет, Москва, ноябрь 2000).

19. Powerful types in stable theories (Четвертая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 2001).

20. Стабильные теории с конечным числом счетных моделей (пленарный доклад, Мальцевские чтения, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2001). (ps)

21. Об обобщенных полигонометриях групп (Международный семинар по теории групп, посвященный 70-летию А.И. Старостина и 80-летию Н.Ф. Сесекина, Институт математики и механики Уральского отделения РАН, Екатеринбург, декабрь 2001). (pdf)

22. Полигонометрии групп  (Семинар “Эварист Галуа”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2002). 

23. О конечных полигонометриях с двухэлементной группой сторон (Международная конференция «Алгебра и ее приложения», посвященная 70-летию В.П.Шункова, Красноярский государственный университет, Красноярск, август 2002).

24. Полные теории с конечным числом счетных моделей (Научная сессия НГТУ, Новосибирск, март 2003).

25. Классификация полных теорий с конечным числом счетных моделей (Пятая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 2003).

26. Теории с конечным числом счетных моделей и полигонометрии групп (Семинар “Алгебраические системы”, Уральский государственный университет, Екатеринбург, декабрь 2003).

27. On theories with finitely many countable models (Model theory seminar, University of Illinois at Urbana-Champaign, Urbana, USA, февраль 2004).

28. Theories with a finite number of countable models and group polygonometries (Model theory seminar, University of Illinois at Chicago, Chicago, USA, февраль 2004).

29. О синтаксических генерических конструкциях (Международная алгебраическая конференция, Московский государственный университет, Москва, май 2004).

30. О структурах властных типов (Международная конференция “Алгебра, логика и кибернетика”, Иркутский государственный педагогический университет, Иркутск, август 2004).

31. Теории с конечным числом счетных моделей и полигонометрии групп (пленарный доклад, Мальцевские чтения, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2004, фото). (pdf)

32. Синтаксический подход к построению генерических моделей (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2004).

33. О классификации элементарных теорий (Научная сессия НГТУ, Новосибирск, март 2005). (pdf).

34. Синтаксические генерические конструкции (Шестая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 2005).

35. О синтаксических генерических конструкциях (Теория моделей и алгебра. Французско-Казахстанская конференция. 18-22 июля, 2005. Астана, Казахстан. Приглашенный докладчик).

36. О насыщенных генерических моделях (9я Азиатская логическая конференция. 16-19 августа, 2005. Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 2005)

37. Эренфойхтовы теории (Семинар “Теория вычислимости”, Новосибирский государственный университет, Новосибирск, сентябрь 2005).

38. Полные теории с конечным числом счетных моделей (Общеинститутский математический семинар, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2005). (pdf)

39. Малые стабильные генерические властные орграфы (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март - май 2006).

40. Стабильные графы с бесконечным весом и эренфойхтовы теории (Научная сессия НГТУ, Новосибирск, март 2006). (pdf)

41. Infinite weight in stable generic graphs without furcations (International conference “Methods of Logic in Mathematics III”, Saint-Petersburg, June 1-7, 2006). (pdf)

42. Small stable generic graphs with infinite weights: bipartite directed graphs (International school “Model theory and its applications in computer science”, 5-10 June, 2006,  Almaty, Kazakhstan). (pdf)

43. Small stable generic graphs with infinite weights: directed graphs without furcations (International school “Model theory and its applications in computer science”, 5-10 June, 2006, Almaty, Kazakhstan). (pdf)

44. Small stable generic graphs with infinite weights: powerful graphs (International school “Model theory and its applications in computer science”, 5-10 June, 2006, Almaty, Kazakhstan). (pdf)

45. Стабильные генерические властные орграфы (Российская школа-семинар «Синтаксис и семантика логических систем», Иркутск, 23-27 августа 2006 г.). (pdf)

46. О свойстве конечных замыканий в слияниях генерических классов (Мальцевские чтения, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2006). (pdf)

47. Стабильные теории с конечным числом счетных моделей (решение проблемы Лахлана) (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, апрель 2007).

48. Стабильные теории с конечным числом счетных моделей (решение проблемы Лахлана) (Семинар “Алгебра и логика”, Новосибирский государственный университет, Новосибирск, май 2007). (Аннотация pdf)

49. Графы в моделях и эренфойхтовы теории (Седьмая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры” , июнь 2007).

50. О стабильных генерических эренфойхтовых теориях (решение проблемы Лахлана) (Математика в современном мире. Российская конференция, посвященная 50-летию Института математики им. С. Л. Соболева СО РАН, Новосибирск, 17-23 сентября 2007 г.).

51. Гиперграфы простых моделей малых теорий (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2007).

52. Гиперграфы простых моделей малых теорий (Мальцевские чтения, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2007). (pdf)

53. О числе счетных моделей теории (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2008).

54. О числе счетных моделей малых теорий (пленарный доклад, Российская школа-семинар «Синтаксис и семантика логических систем», посвященная памяти профессора Ю.Е.Шишмарева, Владивосток,  25-29 августа 2008 г., фото).

55. О системе математического образования в НГТУ (Восточно-Казахстанский государственный технический университет им. Д. Серикбаева, Усть-Каменогорск, Казахстан, декабрь 2008).

56. О числе счетных моделей теории (Общегородской алгебраический семинар, Омский филиал Института математики им. С. Л. Соболева СО РАН, Омск, февраль 2009).

57. Счетные модели малых теорий (Восьмая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры”, июнь 2009).

58. The Lachlan Problem (Семинар по математической логике, Математический институт Сербской академии наук и искусств, Белград, Сербия, июль 2009).

58. The Lachlan Problem (Logic Colloquium 2009, ASL European Summer Meeting, July 31 – August 5, “St. Kliment Ohridski” University, Sofia, Bulgaria, 2009). (pdf)

60. Проблема Лахлана (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 2009).

61. Syntactic generic constructions and Ehrenfeucht theories (пленарный доклад, Международная школа-семинар “Новые алгебро-логические методы решения систем уравнений в алгебраических системах = New algebraic-logical methods in solutions for systems of equations in algebraic structures”, Омский филиал Института математики им. С. Л. Соболева СО РАН, Омск, август 2009).

62.  Distributions of countable models of small theories (пленарный доклад, Международная конференция «Мальцевские чтения», посвященная 100-летию со дня рождения Анатолия Ивановича Мальцева, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 2009).

63. Несущественные совмещения малых теорий (пленарный доклад, Международная научная конференция “Вычислимость и модели”, Восточно-Казахстанский государственный технический университет им. Д. Серикбаева, Усть-Каменогорск, Казахстан,  август 2009).

64. О почти однородных моделях эренфойхтовых теорий  (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2009).

65. О l-категоричных теориях с конечным весом (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, декабрь 2009).

66. Об эренфойхтовых теориях со счетными, не почти однородными моделями (Международная конференция «Мальцевские чтения», посвященная 70-летию Академика Юрия Леонидовича Ершова, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, май 2010).

67. Распределения счетных моделей полных теорий (Российская школа-семинар «Синтаксис и семантика логических систем» , Иркутск, 10-14 августа 2010 г.).

68. Модели кубических теорий  (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2010).

69. Классификация малых полных теорий (Общеинститутский математический семинар, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2011).

70. Проблема Гончарова-Миллара о счетных, не почти однородных моделях эренфойхтовых теорий (Семинар “Теория вычислимости”, Новосибирский государственный университет, Новосибирск, февраль 2011).

71. Стабильные эренфойхтовы теории  (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март – апрель, 2011).

72. On classification of countable models of complete theories (Девятая Эрлагольская конференция “Пограничные вопросы теории моделей и универсальной алгебры” , июнь 2011).

73. On classification of countable models of complete first-order theories (Logic Colloquium 2011, ASL European Summer Meeting, July 11 – 16, Barcelona, Catalonia, Spain, 2011).

74. Ранги Морли теорий, имеющих предельные модели над типами  (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2011).

75. On non-symmetry conditions for relations of semi-isolation (пленарный доклад, Международная конференция «Актуальные проблемы современной математики, информатики и механики - II», посвященная 100-летию  академика О.А. Жаутыкова, 100-летию член-корреспондента Е.И. Кима и 75-летию  академика У.М. Султангазина. Алматы, 28–30 сентября 2011 г.).

76. О рангах Морли теорий с предельными моделями над типами (Международная конференция «Мальцевские чтения», посвященная 60-летию Сергея Савостьяновича Гончарова, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2011).

77. Обобщение теорем Цубои и Кима (в соавторстве с Б.С. Байжановым и В.В. Вербовским, Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2012).

78. Алгебры распределений бинарных изолирующих формул полной теории (с И.В. Шулеповым, Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2012).

79. О распределениях счетных моделей теорий с континуальным числом типов (с Р.А. Попковым, Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, май 2012).

80. Структурные связи в моделях теории, порождаемые отношениями полуизолированности (4-я Российская школа-семинар «Синтаксис и семантика логических систем», посвященная 80-летию основания Бурятского государственного университета, Улан-Удэ, 14-19 августа 2012 г.).

81. О распределениях счетных моделей теорий с континуальным числом типов (в соавторстве с Р.А. Попковым, 4-я Российская школа-семинар «Синтаксис и семантика логических систем», посвященная 80-летию основания Бурятского государственного университета, Улан-Удэ, 14-19 августа 2012 г.).

82. Алгебры распределений бинарных полуизолирующих формул полной теории (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2012).

83. Classification of countable models of complete theories (пленарный доклад, Международная научная конференция ”Теория моделей и алгебра”, посвященная памяти и 70-летию известного советского и казахстанского математика, д.ф.-м.н., профессора Туленды Гарифовича Мустафина. Караганда, 18-20 сентября 2012 г.).

84. О реализациях предпорядков Рудин-Кейслера для теорий с континуальным числом типов (с Р.А. Попковым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2012).

85. Ранги и степени полуизолированности для семейств типов (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2012).

86. Оператор порождения предпорядков Рудин-Кейслера в классе теорий с континуальным числом типов (с Р.А. Попковым, Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2013).

87. Through the Lachlan problem to classification of countable models of complete theories (Model Theory Seminar at University of Notre Dame, USA, February 2013; MSCS@UIC Logic Seminar, Chicago, USA, March 2013; Southern Wisconsin Logic Colloquium, Madison, USA, March 2013).

88. Algebras of distributions for binary semi-isolating formulas of a complete theory (Tenth Erlagol conference “Problems allied to Universal Algebra and Model Theory”, June 2013).

89. Structures of distributions of binary semi-isolating formulas: (1) Deterministic and absorbing structures, (2) Structures for acyclic graphs (with E.V. Ovchinnikova) (9th Panhellenic Logic Symposium, National Technical University of Athens, Greece, July 15-18, 2013).

90. Algebras of distributions of binary semi-isolating formulas for families of isolated types, for countably categorical and strongly minimal theories (Logic Colloquium 2013, University of Evora, Portugal, July 22–27).

91. Ranks of generalized semi-isolation (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2013).

92. On quotients for structures of distributions of binary formulas (with E.V. Ovchinnikova) (Международная научная конференция «Алгебра и математическая логика: теория и приложения», Казань, июнь 2014).

93. On classes of structures and their generic limits (Международная научная конференция «Алгебра и математическая логика: теория и приложения», Казань, июнь 2014).

94. Классификация счетных моделей полных теорий: популярные аспекты (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, июль 2014). (pdf)

95. Classification of countable models of complete theories: popular and philosophical aspects (Symposium: Logic and Utopia, Andros, Cyclades, Greece, July 2014). (pdf)

96. Отделимость элементов в гиперграфах моделей теории (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2014).

97. Separability of elements in hypergraphs of models of a theory (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2014).

98. Алгебры распределений бинарных формул в счетно категоричных слабо о-минимальных структурах (в соавторстве с Д.Ю.Емельяновым и Б.Ш.Кулпешовым, Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2015).

99. О e-спектрах теорий P-совмещений и E-совмещений (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2015).

100. Алгебры распределений бинарных формул в счетно категоричных слабо о-минимальных структурах (в соавторстве с Д.Ю.Емельяновым и Б.Ш.Кулпешовым, Семинар “Алгебра и логика”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2015).

101. On e-spectra of theories of E-combinations and P-combinations (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, май 2015).

102. Criteria for Ehrenfeuchtness of disjoint P-combinations and E-combinations (Международная научная конференция «Актуальные проблемы математики и математического моделирования», посвященная 50-летию создания Института математики и механики АН КазССР, Алматы, июнь 2015).

103. Generative and pre-generative classes (10th Panhellenic Logic Symposium, June 11-15, 2015, University of Aegean, Karlovassi, Samos, Greece, июнь 2015).

104. Operators on classes of structures (Eleventh Erlagol conference “Problems allied to Universal Algebra and Model Theory”, June 2015).

105. On operators at classes of structures (Thales Workshop, NTUA, Athens, Greece, July 2015).

106. Syntactic generic constructions and their applications (15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, University of Helsinki, August 2015).

107. On algebras of distributions for binary formulas of countably categorical weakly o-minimal theories (with B.Sh. Kulpeshov and D.Yu. Yemelyanov) (Logic Colloquium 2015, University of Helsinki, August 2015).

108. О порождающих множествах в семействах сигнатурно однородных теорий (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2015).

109. Распределения счетных моделей полных теорий с континуальным числом типов (в соавторстве с Р.А. Попковым) (Общеинститутский математический семинар, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, декабрь 2015).

110. Относительные e-спектры, относительные замыкания и полурешетки для семейств теорий (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, апрель 2016).

111. Об алгебрах распределений бинарных изолирующих формул теорий абелевых групп и их упорядоченных обогащений (в соавторстве с К.А. Байкаловой, Д.Ю. Емельяновым, Б.Ш. Кулпешовым, Е.А. Палютиным) (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь - октябрь 2016).

112. Об почти дизъюнктных гиперграфах моделей теорий абелевых групп (с К.А.Байкаловой) (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2016).

113. Об алгебрах распределений бинарных формул теорий абелевых групп (с К.А.Байкаловой, Д.Ю.Емельяновым, Б.Ш.Кулпешовым, Е.А.Палютиным) (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2016).

114. О решении проблемы Воота для одного варианта о-минимальности (с Б.Ш.Кулпешовым) (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2016).

115. On relative closures and relative e-spectra for families of theories (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2016).

116. Об алгебрах распределений бинарных изолирующих формул для вполне о-минимальных теорий (с Д.Ю.Емельяновым и Б.Ш. Кулпешовым, Семинар “Теория моделей”,,Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2017).

117. Об алгебрах распределений бинарных изолирующих формул для вполне о-минимальных теорий (с Д.Ю.Емельяновым и Б.Ш.Кулпешовым, Семинар “Алгебра и логика”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, апрель 2017).

118. Производные объекты для упорядоченных теорий (в соавторстве с Б.Ш. Кулпешовым и Д.Ю. Емельяновым) (Общеинститутский математический семинар, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, апрель 2017).

119. Derivative structures in Model Theory (Twelfth Erlagol conference “Problems allied to Universal Algebra and Model Theory”, June 2017).

120. Definable sets in generic structures and their cardinalities (with Y. Kiouvrekis and P. Stefaneas, Twelfth Erlagol conference “Problems allied to Universal Algebra and Model Theory”, June 2017).

121. On families of theories of Abelian groups and their closures (with In.I. Pavlyuk, 11th Panhellenic Logic Symposium, July 12-16, 2017, Delphi, Greece).

122. Derivative objects in Model Theory (Syntax and semantics of logical systems: 5th Russian School-Seminar, Ulan-Ude, August 8-12, 2017).

123. On algebras of distributions for binary formulas of quite o-minimal theories with non-maximum many countable models (with  D.Yu. Emelyanov and B.Sh. Kulpeshov, Logic Colloquium 2017, Stockholm, August 14-20, 2017).

124. On distributions for countable models of quite o-minimal theories with non-maximum many countable models (with B.Sh.Kulpeshov, Logic Colloquium 2017, Stockholm, August 14-20, 2017).

125. On almost deterministic algebras of binary isolating formulas of polygonometric theories (with  D.Yu. Emelyanov, Mathematics in modern world. International conference in occasion of 60 years of Sobolev Institute of Mathematics, Novosibirsk, Russia, August 14-19, 2017).

126. On interval algebras of binary isolating formulas of polygonometric theories (with  D.Yu. Emelyanov, International conference "Actual problems in pure and applied mathematics", dedicated to 100th anniversary of academician Asan Dabsovich Taimanov, Almaty, August 22-25, 2017).

127. Derivative Structures in Model Theory and Group Theory (International conference "Actual problems in pure and applied mathematics", dedicated to 100th anniversary of Academician Asan Dabsovich Taimanov, Almaty, August 22-25, 2017).

128. О научной и педагогической деятельности академика А.Д.Тайманова (с Е.А. Палютиным, Заседание Сибирского математического общества, посвященное 100-летию со дня рождения  академика Асана Дабсовича Тайманова, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, 25 октября 2017 г.).

129. Генерирующие классы и их ограничения (Семинар “Теория моделей”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2017).

130. On generative subclasses of generative classes and their spectra (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2017).

131. Распределения счетных моделей вполне o-минимальных эренфойхтовых теорий (с Б.Ш.Кулпешовым, Семинар “Теория моделей”,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2018).

132. Распределения счетных моделей дизъюнктных объединений эренфойхтовых теорий (Семинар “Теория моделей”,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2018).

133. On e-spectra for families of theories of Abelian groups (with in.I.Pavlyuk, 6th World Congress and School on Universal Logic, June 16–26, 2018 Vichy, France).

134. Аппроксимации теорий (Семинар “Теория моделей”,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2018).

135. Ранги для семейств теорий и их спектры (Семинар “Теория моделей”,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2018).

136. Ранги для семейств всех теорий данных сигнатур (с Н.Д. Мархабатовым, Семинар “Теория моделей”,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2018).

137. On approximations of theories (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2018).

138. On ranks for families of theories and their spectra (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2018).

139. On ranks for families of all theories of given languages (с Н.Д. Мархабатовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2018).

140. О почти детерминированных алгебрах бинарных изолирующих формул полигонометрических теорий с условием симметрии (с Д.Ю. Емельяновым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2018).

141. Определимые подсемейства теорий и сопутствующие исчисления (с Н.Д. Мархабатовым, Семинар “Теория моделей” имени Е.А. Палютина,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, декабрь 2018).

142. Алгебры бинарных формул для композиций теорий (с Д.Ю. Емельяновым и Б.Ш. Кулпешовым, Семинар “Теория моделей” имени Е.А. Палютина,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, март 2019).

143. О P-комбинациях упорядоченных теорий (с Б.Ш. Кулпешовым, Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 3-5 апреля 2019, Алматы, Казахстан).

144. On compactness for closed families of theories (с Н.Д. Мархабатовым, Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 3-5 апреля 2019, Алматы, Казахстан).

145. Алгебры бинарных формул для композиций теорий (с Д.Ю. Емельяновым и Б.Ш. Кулпешовым, Семинар “Алгебра и логика”,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, апрель 2019).

146. Classification of countable models of complete theories and its applications (16th Asian Logic Conference, 17-21 June, 2019. Nur-Sultan, Nazabrayev University).

147. Families of theories and their characteristics (13th Erlagol conference “Problems allied to Universal Algebra and Model Theory”, June 2019).

148. On calculi and ranks for definable families of theories (with N.D. Markhabatov, 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, Prague, 5-10 August, 2019).

149. On ranks for families of theories of abelian groups (with In.I. Pavlyuk, 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, Prague, 5-10 August, 2019).

150. On ranks for families of theories of finite abelian groups (with In.I. Pavlyuk, Logic Colloquium 2019, Prague, 11-16 August, 2019).

151. On compositions of structures and compositions of theories (with D.Yu. Emelyanov and B.Sh. Kulpeshov, Logic Colloquium 2019, Prague, 11-16 August, 2019). 

152. P-combinations of ordered structures (с Б.Ш. Кулпешовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 2019).

153. On algebras for definable families of theories (с Н.Д. Мархабатовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 2019).

154. On compositions of circular orders with structures and their algebras of binary formulas (с Д.Ю. Емельяновым и Б.Ш. Кулпешовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, август 2019).

155. On hierarchy of families of theories (Workshop, Rules: Logic and Applications, Athens, December 2019).

156. Математическая логика: прошлое, настоящее, будущее (Популярная лекция ко Дню Российской науки, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль 2020). (pdf)

157. Топологии и ранги для семейств теорий (с Н.Д. Мархабатовым, Семинар “Теория моделей” имени Е.А. Палютина,, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, февраль-март 2020).

158. Топологии, ранги и замыкания для семейств теорий (с Н.Д. Мархабатовым, Семинар “Алгебра и логика”, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2020).

159. Комбинации теорий, их аппроксимации, порождения и ранги (с Б.Ш. Кулпешовым, Н.Д. Мархабатовым, И.И.Павлюк, Общеинститутский математический семинар, Институт математики им. С.Л.Соболева СО РАН, Новосибирск, октябрь 2020).

160. Об א0-категоричности E-комбинации линейных порядков (с А.Б. Алтаевой и Б.Ш. Кулпешовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2020).

161. On algebras of binary formulas for almost omega-categorical weakly o-minimal theories (с А.Б. Алтаевой и Б.Ш. Кулпешовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2020).  

162. On closures for families of theories (с Н.Д. Мархабатовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2020).

163. On generations for families of theories of abelian groups (с Ин.И. Павлюк, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2020).

164. On a hierarchy for families of theories (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2020).

165. On some expansions of dense orders (с А.Б. Даулетияровой, Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 5-8 апреля 2021, Алматы, Казахстан).

166. On formulas and properties for families of theories of abelian groups (с Ин.И. Павлюк, Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 5-8 апреля 2021, Алматы, Казахстан).

167. On formulas and properties for families of theories (Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 5-8 апреля 2021, Алматы, Казахстан).

168. On special relations for formulas and families of theories (Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 5-8 апреля 2021, Алматы, Казахстан).

169. Characteristics for families of theories (14th Erlagol conference “Problems allied to Universal Algebra and Model Theory”, June 2021).

170. On algebras of binary formulas for almost omega-categorical weakly o-minimal theories (with A.B.Altayeva and B.Sh.Kulpeshov,  Logic Colloquium. Adam Mickiewicz University in Poznan, 19-24 July 2021, Poznan, Poland).

171. On algebras of binary formulas for partially ordered theories (with D.Yu. Emelyanov and B.Sh. Kulpeshov, Logic Colloquium. Adam Mickiewicz University in Poznan, 19-24 July 2021, Poznan, Poland).

172. On closures for partially ordered families of theories (with N.D. Markhabatov, Logic Colloquium. Adam Mickiewicz University in Poznan, 19-24 July 2021, Poznan, Poland).

173. On rich properties for the family of theories of abelian groups (with In.I. Pavlyuk, Logic Colloquium. Adam Mickiewicz University in Poznan, 19-24 July 2021, Poznan, Poland).

174. Arities of theories and their dynamics (Palyutin Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, September 2021).

175. Arities of theories and their dynamics (International Conference “Mathematical logic and related problems of mathematics'” on the occasion Bektur Baizhanov's 70th birthday, September 10-11, 2021).

176. О критерии тотальной трансцендентности для семейств упорядоченных теорий (с Б.Ш. Кулпешовым и Ин.И. Павлюк, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2021).

177. On approximations of unars (с Н.Д. Мархабатовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2021).

178. On pseudofinite formulas (с Н.Д. Мархабатовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2021).

179. On arities and aritizabilities of group and monoid theories (с И.И. Павлюк, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2021).

180. On arities and aritizabilities of first-order theories (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, сентябрь 2021).

181. Семейства теорий и их характеристики (Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных систем», Тверь, 04-07 декабря 2021 г.).

182. Сферические порядки, свойства и счетные спектры их теорий (с Б.Ш. Кулпешовым, Совместное заседание семинаров “Научно-исследовательский семинар по математической логике” МГУ, “Теория моделей” Института математики и математического моделирования МОН РК, “Теория моделей” имени Е.А. Палютина, Институт математики им. С.Л.Соболева СО РАН, Новосибирск,  март 2022).

183. Elementary theories, their arities and distributions of countable models (Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 6-8 апреля 2022, Алматы, Казахстан).

184. Об алгебрах бинарных формул для слабо циклически минимальных теорий с нетривиальным определимым замыканием (с Б.Ш. Кулпешовым, Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 6-8 апреля 2022, Алматы, Казахстан).

185. On approximations of theories of regular graphs (с Н.Д. Мархабатовым, Традиционная международная апрельская математическая конференция в честь Дня работников науки Республики Казахстан, 6-8 апреля 2022, Алматы, Казахстан).

186. On theories of dense spherical orders (with B.Sh. Kulpeshov, 2022 Logic Colloquium: Summer Meeting of the Association for Symbolic Logic. Reykjavik University. Reykjavik, Iceland, June 27 – July 1, 2022).

187. On algebras of binary formulas for weakly circularly minimal theories (with B.Sh. Kulpeshov, 2022 Logic Colloquium: Summer Meeting of the Association for Symbolic Logic. Reykjavik University. Reykjavik, Iceland, June 27 – July 1, 2022).

188. Характеристики элементарных теорий и их моделей (7-ая Международная школа-семинар «Синтаксис и семантика логических систем», 1–5 августа 2022 г., Владивосток).

189. Families of elementary theories and their basic characteristics (International scientific conference “Actual problems of mathematics, mechanics and informatics” dedicated to the memory of Professor T.G. Mustafin, September 08-09, 2022).

190. Условия минимальности, топологии и ранги для сферически упорядоченных теорий (Palyutin Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, September 2022).

191. О новом варианте ортогональности 1-типов в слабо о-минимальных теориях (с Б.Ш. Кулпешовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2022).

192. On possibilities for definable and algebraic closures (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2022).

193. О классификации счетных моделей элементарных теорий (Таймановские чтения 2022, Уральск, Казахстан, ноябрь 2022).

194. О почти вполне ортогональности 1-типов в слабо о-минимальных теориях (с Б.Ш. Кулпешовым, Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2023).

195. On ranks and spectra for families of constant expansions of theories (с Б.Ш. Кулпешовым, Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2023).

196. On variations of rigidity (Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2023).   

197. Вариации жесткости (Palyutin Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, май 2023).

198. Almost quite orthogonality of 1-types in weakly o-minimal theories (с Б.Ш. Кулпешовым, Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, Milan, 05-09 June 2023).

199. Variations of rigidity (15-я международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры», Эрлагол-2023 , 21-28 Jun 2023, Эрлагол, Алтай, Россия, июнь 2023).

200. Условные характеристики жесткости (Palyutin Seminar “Model theory”, Sobolev Institute of Mathematics, Novosibirsk, сентябрь 2023).

201. Variations of algebraicity and rigidity (International seminar on the occasion of Viktor Valerievich Verbovskiy's 50th birthday , Almaty, Kazakhstan, September 2023).

202. On variations of rigidity for ordered theories (с Б.Ш. Кулпешовым, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2023).

203. On degrees of algebraization for finite structures  (с И.И. Павлюк, Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2023).

204. On conditional characteristics of rigidity (Международная конференция «Мальцевские чтения», Институт математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2023).

205. Аппроксимирующие формулы (Palyutin Seminar “Model theory”, Sobolev Institute of Mathematics, Новосибирск, январь-февраль 2024).

206. On inessential expansions of quite o-minimal theories (с Б.Ш. Кулпешовым, Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2024).

207. On almost quasi-Urbanik structures and theories (с Б.Ш. Кулпешовым, Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2024).

208. On variations of rigidity for abelian groups (с Ин.И. Павлюк, Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2024).

209. On approximating formulae (Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан, Алма-Ата, апрель 2024).

210. Variations of rigidity for ordered and strongly minimal theories (с Б.Ш. Кулпешовым, 16-я международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры», Новосибирск, июль  2024).

211. Pseudo-countably-categorical theories (с Б.Ш. Кулпешовым, и Ин.И. Павлюк, 16-я международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры», Новосибирск, июль 2024).

212. Forty years with Model Theory (16-я международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры», Новосибирск, июль 2024).

213. Spherically orderable groups (Palyutin Seminar “Model theory”, Sobolev Institute of Mathematics, Новосибирск, июль 2024).

 

 

????? Locations of visitors to this page