Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






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


Лекция 2. Элементарные теории абелевых групп

Н. А. Баженов
Видеозаписи:
MP4 158.9 Mb
Дополнительные материалы:
Adobe PDF 316.9 Kb

Количество просмотров:
Эта страница:113
Видеофайлы:27
Материалы:21



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

Дополнительные материалы: n_bazhenov_2.pdf (316.9 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024