Доклады
Сергея
Владимировича
Судоплатова
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,
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-летию научно-исследовательского
семинара МГУ по
алгебре, основанного
О.Ю. Шмидтом в
19. Powerful
types in stable theories
(Четвертая
Эрлагольская
конференция “Пограничные
вопросы теории
моделей и универсальной
алгебры”, июнь
2001).
20. Стабильные
теории с конечным
числом счетных
моделей (пленарный
доклад, Мальцевские
чтения, Институт
математики им.
С.Л.Соболева
СО РАН, Новосибирск,
ноябрь 2001). (ps)
21. Об обобщенных
полигонометриях
групп (Международный
семинар по теории
групп, посвященный
70-летию А.И. Старостина
и 80-летию Н.Ф. Сесекина,
Институт
математики и механики
Уральского отделения
РАН, Екатеринбург,
декабрь 2001). (pdf)
22. Полигонометрии
групп (Семинар
“Эварист Галуа”,
Институт
математики им.
С.Л.Соболева
СО РАН, Новосибирск,
март 2002).
23. О конечных
полигонометриях
с двухэлементной
группой сторон
(Международная
конференция «Алгебра
и ее приложения»,
посвященная
70-летию В.П.Шункова,
Красноярский
государственный
университет, Красноярск,
август 2002).
24. Полные
теории с конечным
числом счетных
моделей (Научная
сессия НГТУ, Новосибирск,
март 2003).
33.
О
классификации
элементарных
теорий (Научная
сессия НГТУ,
Новосибирск, март
2005). (pdf).
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,
91. Ranks
of generalized semi-isolation (Международная
конференция «Мальцевские
чтения», Институт
математики им. С.Л.Соболева СО РАН, Новосибирск, ноябрь 2013).
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).
110. Относительные
e-спектры,
относительные
замыкания и полурешетки
для семейств теорий
(Семинар “Теория
моделей”, Институт
математики им.
С.Л.Соболева СО
РАН, Новосибирск,
апрель
2016).
111. Об алгебрах
распределений
бинарных изолирующих
формул теорий
абелевых групп
и их упорядоченных
обогащений (в соавторстве
с К.А. Байкаловой, Д.Ю. Емельяновым, Б.Ш. Кулпешовым, Е.А. Палютиным) (Семинар “Теория
моделей”, Институт
математики им.
С.Л.Соболева СО
РАН, Новосибирск,
сентябрь
- октябрь 2016).
112. Об почти
дизъюнктных гиперграфах
моделей теорий
абелевых групп
(с К.А.Байкаловой)
(Международная
конференция «Мальцевские
чтения», Институт
математики им.
С.Л.Соболева СО
РАН, Новосибирск, ноябрь
2016).
113. Об алгебрах
распределений
бинарных формул
теорий абелевых
групп (с К.А.Байкаловой,
Д.Ю.Емельяновым,
Б.Ш.Кулпешовым,
Е.А.Палютиным)
(Международная
конференция «Мальцевские
чтения», Институт
математики им.
С.Л.Соболева СО
РАН, Новосибирск, ноябрь
2016).
114. О
решении
проблемы
Воота для
одного варианта
о-минимальности
(с
Б.Ш.Кулпешовым)
(Международная конференция «Мальцевские чтения», Институт
математики им.
С.Л.Соболева СО
РАН, Новосибирск, ноябрь
2016).
115. On relative closures and relative e-spectra for families of theories (Международная конференция «Мальцевские чтения»,
Институт математики
им. С.Л.Соболева
СО РАН, Новосибирск, ноябрь
2016).
117. Об алгебрах
распределений
бинарных изолирующих
формул для вполне
о-минимальных
теорий (с Д.Ю.Емельяновым
и Б.Ш.Кулпешовым,
Семинар
“Алгебра и логика”,
Институт математики
им. С.Л.Соболева
СО РАН,
Новосибирск, апрель
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,
122. Derivative objects in Model Theory (Syntax and semantics of
logical systems: 5th Russian School-Seminar,
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,
124. On distributions
for countable models of quite o-minimal theories with non-maximum many
countable models (with B.Sh.Kulpeshov,
Logic Colloquium 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,
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
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,
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,
150. On ranks
for families of theories of finite abelian groups (with In.I. Pavlyuk, Logic
Colloquium 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,
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).