Мышь (теория множеств)
Мышь (теория множеств) Определение мыши в теории множеств Мышь — это модель теории множеств, обладающая определенными свойствами. Существует техническое определение […]
Вики
Теория внутренней модели
Вики
Лемма о покрытии
Покрывающая лемма Определение и свойства базовых моделей Базовая модель — это модель, которая удовлетворяет всем аксиомам ZFC, кроме аксиомы выбора.
Вики
Базовая модель
Основная модель Определение и свойства K K — это модель, которая удовлетворяет аксиомам ZFC, но не содержит кардиналов Вудина. K
Вики
Теория внутренней модели
Теория внутренней модели Основы теории внутренних моделей Теория внутренней модели изучает модели ZFC и их фрагменты. Модели могут быть транзитивными
Вики
Внутренняя модель
Внутренняя модель Внутренняя модель теории T является подструктурой модели M, которая одновременно является моделью для T и содержит все ординалы