Аксиоматическая теория множеств

Лектор проф. В.Б.Шехтман,  III - IV модуль

Теория множеств  лежит в основе современной математики, но ее аксиоматика оказывается не вполне очевидной и не однозначной. В частности, некоторые  утверждения независимы в стандартной системе аксиом, т.е. их нельзя ни доказать,  ни опровергнуть. Наиболее известный пример независимого утверждения - континуум-гипотеза Кантора. В курсе будет дано введение в аксиоматическую теорию множеств, в том числе - в теоретико-модельные методы для доказательств независимости.

Первая лекция - 2 февраля

Лекции

• Список теорем и определений.
• Учебник.

Задачи

• Список задач.
• Список вопросов.