|
Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II"
(12 февраля–21 мая 2025 г., МИАН, комн. 303 (ул. Губкина, 8), г. Москва)
Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по этой ссылке.
В первой части курса, прочитанного в НОЦ МИАН в 2024 году, остались не покрытыми некоторые важные темы базового курса теории моделей. Мы планируем рассказать об этих вопросах в данном курсе. В качестве кульминации мы планируем изложить доказательство знаменитой теоремы Морли о категоричности.
Программа
- Метод элементарных цепей.
- Насыщенные и однородные модели.
- Критерии аксиоматизируемости теорий ограниченными классами формул ($\forall\exists$-формулами, позитивными формулами, хорновскими формулами).
- Элементарная теория вещественно замкнутых полей, её полнота и разрешимость, 17-я проблема Гильберта.
- Теорема Морли о категоричности.
 Программа
Лектор
Беклемишев Лев Дмитриевич
Финансовая поддержка
Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |
|
| Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II", г. Москва, 12 февраля–21 мая 2025 г. |
|
|
21 мая 2025 г. (ср) |
 |
| 1. |
Лекция 11. Введение в теорию моделей, часть II
Л. Д. Беклемишев
21 мая 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
14 мая 2025 г. (ср) |
|
| 2. |
Лекция 10. Введение в теорию моделей, часть II
Л. Д. Беклемишев
14 мая 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
23 апреля 2025 г. (ср) |
|
| 3. |
Лекция 9. Введение в теорию моделей, часть II
Л. Д. Беклемишев
23 апреля 2025 г. 18:45, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
16 апреля 2025 г. (ср) |
|
| 4. |
Лекция 8. Введение в теорию моделей, часть II
Л. Д. Беклемишев
16 апреля 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
9 апреля 2025 г. (ср) |
|
| 5. |
Лекция 7. Введение в теорию моделей, часть II
Л. Д. Беклемишев
9 апреля 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
2 апреля 2025 г. (ср) |
|
| 6. |
Лекция 6. Введение в теорию моделей, часть II
Л. Д. Беклемишев
2 апреля 2025 г. 16:30, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
12 марта 2025 г. (ср) |
|
| 7. |
Лекция 5. Введение в теорию моделей, часть II
Л. Д. Беклемишев
12 марта 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
5 марта 2025 г. (ср) |
|
| 8. |
Лекция 4. Введение в теорию моделей, часть II
Л. Д. Беклемишев
5 марта 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
26 февраля 2025 г. (ср) |
|
| 9. |
Лекция 3. Введение в теорию моделей, часть II
Л. Д. Беклемишев
26 февраля 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
19 февраля 2025 г. (ср) |
|
| 10. |
Лекция 2. Введение в теорию моделей, часть II
Л. Д. Беклемишев
19 февраля 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
12 февраля 2025 г. (ср) |
|
| 11. |
Лекция 1. Введение в теорию моделей, часть II
Л. Д. Беклемишев
12 февраля 2025 г. 16:00, г. Москва, МИАН, комн. 303 (ул. Губкина, 8)
|
|
|
|
|
|
|
Обратная связь: