Теория множеств и метод форсинга
Book information
Description
В книге изложены аксиоматическая теория множеств и методы доказательства совместимости утверждений теории множеств: метод Гёделя, метод форсинга Коэна, метод булевозначных моделей, метод Френкеля - Мостовского. При помощи этих методов строятся модели для многих известных гипотез теории множеств: обобщенной континуум-гипотезы, отрицания континуум-гипотезы, отрицания аксиомы выбора, гипотезы Суслина и ее отрицания и т. д. Книга не требует предварительных знаний аксиоматической теории множеств и доступна широкому кругу математиков.
Similar books
Formal Specification and Verification
Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I
Некоторые обозначения и факты теории множеств
Введение в теорию множеств и комбинаторику
Элементы теории множеств
Множества
DOCX
Пространства множеств и мультимножеств