Доклады
Сергея
Владимировича
Судоплатова
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,
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,
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.
171. On algebras of binary formulas for
partially ordered theories (with D.Yu. Emelyanov and B.Sh. Kulpeshov, Logic Colloquium.
172. On closures for partially
ordered families of theories (with N.D. Markhabatov, Logic Colloquium.
173. On rich properties for the family
of theories of abelian groups (with In.I. Pavlyuk, Logic Colloquium.
174. Arities of theories and their
dynamics (Palyutin Seminar
“Model theory”, Sobolev Institute of Mathematics,
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
декабря
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.
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.
188.
Характеристики
элементарных
теорий и их моделей
(7-ая
Международная
школа-семинар
«Синтаксис и
семантика
логических
систем», 1–5 августа
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).