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

Мир

1973

148 с.

Список лит.: с. 132-135 (60 назв.)

В книге изложены аксиоматическая теория множеств и методы доказательства совместимости утверждений теории множеств: метод Геделя, метод форсинга Коэна, метод булевозначных моделей, метод Френкеля - Мостовского. При помощи этих методов строятся модели для многих известных гипотез теории множеств: обобщенной континуум-гипотезы, отрицания континуум-гипотезы, отрицания аксиомы выбора, гипотезы Суслина и ее отрицания и т.д. Книга не требует предварительных знаний аксиматической теории множеств и доступна широкому кругу математиков.

Множеств теория

Русский