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