Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  

Мини-курс Н. А. Баженова «Элементарные теории абелевых групп»
(11–13 апреля 2023 г., г. Москва)

Просьба ко всем участникам зарегистрироваться
по ссылке: https://forms.gle/MFxPxwg1mjyWGDaD9.


Многие естественные элементарные теории являются алгоритмически неразрешимыми: например, арифметика Пеано, теория класса конечных графов, теория конечных групп и т.д. В то же время нахождение алгоритмически разрешимых теорий (и фрагментов теорий) остаётся важной задачей математической логики и теоретической информатики. В мини-курсе будет приведено доказательство классического результата о разрешимости теории абелевых групп. Доказательство опирается на элементарную классификацию полных теорий абелевых групп на основе инвариантов В. Шмелевой.

Руководитель
Баженов Николай Алексеевич, Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск

Финансовая поддержка
Мероприятие проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).


Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Мини-курс Н. А. Баженова «Элементарные теории абелевых групп», г. Москва, 11–13 апреля 2023 г.

11 апреля 2023 г. (вт)
1. Лекция 1. Элементарные теории абелевых групп
Н. А. Баженов
11 апреля 2023 г. 16:30, г. Москва
  

12 апреля 2023 г. (ср)
2. Лекция 2. Элементарные теории абелевых групп
Н. А. Баженов
12 апреля 2023 г. 16:30, г. Москва
  

13 апреля 2023 г. (чт)
3. Лекция 3. Элементарные теории абелевых групп
Н. А. Баженов
13 апреля 2023 г. 16:30, г. Москва
  
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025