Название спецкурса на русском языке
Теория множеств
Перевод названия курса на английский язык
Set theory
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2021/22
День недели
понедельник
Время
16:45-18:20
Формат проведения
Дистанционно
Аудитория
[Дистанционно]
Аннотация
Курс представляет собой введение в аксиоматическую теорию множеств Цермело – Френкеля (ZF). В курсе формулируется аксиоматика ZF (как теории первого порядка), даются определения ординалов и кардиналов. В присутствии аксиомы выбора строится арифметика кардиналов. Второй семестр посвящён более тонким вопросам. В нём определяются стационарные множества, доказывается теорема Сильвера о континуум-функции, обсуждаются вопросы бесконечной комбинаторики (теории Рамсея) и вопросы измеримости. Завершается курс обсуждением моделей теории множеств и доказательством совместимости ZF с аксиомой выбора и континуум-гипотезой.