Курс представляет собой введение в аксиоматическую теорию множеств Цермело – Френкеля (ZF). В курсе формулируется аксиоматика ZF (как теории первого порядка), даются определения ординалов и кардиналов. В присутствии аксиомы выбора строится арифметика кардиналов. Второй семестр посвящён более тонким вопросам. В нём определяются стационарные множества, доказывается теорема Сильвера о континуум-функции, обсуждаются вопросы бесконечной комбинаторики (теории Рамсея) и вопросы измеримости. Завершается курс обсуждением моделей теории множеств и доказательством совместимости ZF с аксиомой выбора и континуум-гипотезой.
Расписание на осенний семестр 2021/2022 учебного года:
Время занятий: понедельник 14:45 – 16:10
Первое занятие: 13 сентября
Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).
RSS: Ближайшие семинары
Лектор
Савельев Денис Игоревич
Организации
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл. Математический институт им. В.А. Стеклова Российской академии наук, г. Москва Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |