Аксиома правильного принуждения
Правильная аксиома принуждения Основы теории множеств Теория множеств – это раздел математики, изучающий свойства множеств. Множество – это набор объектов, […]
Вики
Forcing (mathematics)
Вики
Гипотеза континуума
Гипотеза континуума Определение и история гипотезы континуума Гипотеза континуума (CH) утверждает, что каждое бесконечное множество имеет мощность континуума. Гипотеза была
Вики
Полная булева алгебра
Полная булева алгебра Определение и свойства булевых алгебр Булева алгебра – это алгебра с двумя операциями: конъюнкция (∧) и дизъюнкция
Вики
Логическая модель
Логически значимая модель Основы булевозначных моделей Булевозначные модели – это модели теории множеств, в которых значения истинности формул представлены булевыми
Вики
Гипотеза континуума
Гипотеза континуума Гипотеза континуума (CH) утверждает, что множество всех действительных чисел является несчетным. CH является одной из самых известных и
Вики
Форсирование (математика)
Форсирование (математика) Принудительное расположение – это способ определения объектов в модели, используя множество истинных условий воздействия. Каждый объект связан с