#матлог #учёба #спецкурс

Д.ф.-м.н., акад. Л.Д. Беклемишев прочитает спецкурс НОЦ МИАН "Введение в теорию моделей, часть II".

Первая лекция: 12 февраля

Место проведения: МИАН, ком. 303

Время проведения: среда 16:00-17:30

Страница спецкурса: https://www.mathnet.ru/conf2535

Аннотация.
В первой части курса, прочитанного в НОЦ МИАН в 2024 году (https://www.mathnet.ru/conf2376), остались не покрытыми некоторые важные темы базового курса теории моделей. Мы планируем рассказать об этих вопросах в данном курсе. В качестве кульминации мы планируем изложить доказательство знаменитой теоремы Морли о категоричности.

Программа:
- Метод элементарных цепей.
- Насыщенные и однородные модели.
- Критерии аксиоматизируемости теорий ограниченными классами формул (∀∃-формулами, позитивными формулами, хорновскими формулами).
- Элементарная теория вещественно замкнутых полей, её полнота и разрешимость, 17-я проблема Гильберта.
- Теорема Морли о категоричности.

🔗 Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II"


➰ ВК