Йех Т. Теория множеств и метод форсинга

М., Мир, 1973. — 150 с.В книге изложены аксиоматическая теория множеств и методы доказательства совместимости утверждений теории множеств: метод Гёделя, метод форсинга Коэна, метод булевозначных моделей, метод Френкеля - Мостовского. При помощи этих методов строятся модели для многих известных гипотез теории множеств: обобщенной континуум-гипотезы, отрицания континуум-гипотезы, отрицания аксиомы выбора, гипотезы Суслина и ее отрицания и т. д.
Книга не требует предварительных знаний аксиоматической теории множеств и доступна широкому кругу математиков.От переводчика
Предисловие
Формулы и классы
Аксиомы Цермело-Френкеля
Ординальные числа
Кардинальные числа
Конечные множества
Действительные числа
Аксиома выбора
Арифметика кардинальных чисел
Аксиома регулярности
Транзитивные модели
Конструктивные множества
Совместимость AC и GCH
Тeopeмы о транзитивных моделях
Ординальная определимость
Ультрастепени
Замечания о полных булевых алгебрах
Метод форсинга и булевозначные модели
Независимость континуум гипотезы и смещение кардинальных чисел
Применения булевозначных моделей в теории булевых алгебр
Измеримость по Лебегу
Проблема Суслина
Аксиома Мартина
Совершенный форсинг
Об ординальной определимости
Независимость АС
Модели Френкеля – Мостовского
Вложение FМ-моделей в модели ZF
Список литературы
Примечания
Указатель обозначений
Предметный указатель