Основная модель
-
Определение и свойства K
- K — это модель, которая удовлетворяет аксиомам ZFC, но не содержит кардиналов Вудина.
- K является максимальной моделью, универсальной и полностью повторяемой.
- K локально определимо и в общем случае абсолютно.
- K не имеет sharp и может быть элементарно самореализуемым.
-
Построение K
- K может быть построено из обобщенных расширений V, где V замкнуто под оператором мыши.
- Если K существует, то базовая модель K также существует.
-
Гипотезы и результаты
- Существует Kc, если нет повторяющейся модели ω1 + 1 с длинными расширителями.
- Kc существует и удовлетворяет принципу «кардиналов Вудина не существует» при определенных условиях.
- Существуют частичные результаты, указывающие на существование K при определенных условиях.
-
Рекомендации и библиография
- Упомянуты работы Хью Вудина и других авторов, а также ссылки на «Справочник по теории множеств».
- Приведены рекомендации по форматированию библиографических описаний и ссылки на различные издания.