Категория : Теория внутренней модели

Теория внутренней модели это исследование определенных моделей ZFC — или некоторого их фрагмента или усиления. Обычно эти модели представляют собой транзитивные подмножества или подклассы вселенной Неймана V или иногда расширения V. фон общего Теория внутренних моделей изучает взаимосвязь этих моделей с детерминированностью , большими кардиналами и описательной теорией множеств . Несмотря на название, она считается скорее ответвлением теории множеств, чем теории моделей .