Оглавление
Логически значимая модель
-
Основы булевозначных моделей
- Булевозначные модели – это модели теории множеств, в которых значения истинности формул представлены булевыми значениями.
- Они используются для доказательства независимости аксиом теории множеств.
-
Построение булевозначных моделей
- Для построения булевозначной модели используется булева алгебра с ультрафильтром.
- Ультрафильтр определяется как набор элементов, которые больше некоторого изображения.
- Булева алгебра может быть построена из множества с общим подмножеством, а ультрафильтр – из этого множества.
-
Применение булевозначных моделей
- Булевозначные модели могут быть использованы для доказательства независимости аксиом теории множеств.
- Они также применяются для изучения пространств Рисса, банаховых пространств и алгебр.
-
Форсирование и булевозначные модели
- Форсирование – это метод построения моделей теории множеств, который использует булевозначные модели.
- Булевозначные модели и методы форсирования эквивалентны.
Полный текст статьи: