Название спецкурса на русском языке
Дополнительные главы теории множеств
Перевод названия курса на английский язык
Advanced course in set theory
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2021/22
Аудитория
[Неприменимо]
Аннотация
Это продолжение спецкурса «Теория множеств», читавшегося в весеннем семестре 2021 года:
http://scs.math.msu.ru/node/1434
Курс представляет собой введение в аксиоматическую теорию множеств Цермело – Френкеля (ZF). В курсе формулируется аксиоматика ZF (как теории первого порядка), даются определения ординалов и кардиналов. В присутствии аксиомы выбора строится арифметика кардиналов. Второй семестр посвящён более тонким вопросам. В нём определяются стационарные множества, доказывается теорема Сильвера о континуум-функции, обсуждаются вопросы бесконечной комбинаторики (теории Рамсея) и вопросы измеримости. Завершается курс обсуждением моделей теории множеств и доказательством совместимости ZF с аксиомой выбора и континуум-гипотезой.
http://scs.math.msu.ru/node/1434
Курс представляет собой введение в аксиоматическую теорию множеств Цермело – Френкеля (ZF). В курсе формулируется аксиоматика ZF (как теории первого порядка), даются определения ординалов и кардиналов. В присутствии аксиомы выбора строится арифметика кардиналов. Второй семестр посвящён более тонким вопросам. В нём определяются стационарные множества, доказывается теорема Сильвера о континуум-функции, обсуждаются вопросы бесконечной комбинаторики (теории Рамсея) и вопросы измеримости. Завершается курс обсуждением моделей теории множеств и доказательством совместимости ZF с аксиомой выбора и континуум-гипотезой.
Дополнительная информация
Записаться на курс, посмотреть видеозаписи, контакты:
http://www.mathnet.ru/conf1844