В теории множеств, ветви математической логики, внутренней модель для теории T является субструктурой модели M теории множеств, которая одновременно является моделью для T и содержит все порядковые номера M.
Пусть быть языком теории множеств. Пусть S будет определенной теорией множеств, например аксиомами ZFC, и пусть T (возможно, то же самое, что и S) также будет теорией в .
Если M является модель для S, а N - это -структура такая, что
, тогда мы говорим, что N является внутренней моделью T (в M). Обычно T будет равняться (или включать) S, так что N является моделью для S «внутри» модели M из S.
Если выполняются только условия 1 и 2, N называется стандартной моделью . of T (в M), стандартная подмодель T, если S = T. Модель N из T в M называется транзитивной, если она является стандартной и выполняется условие 3. Если аксиома основы не предполагается (то есть не входит в S), всем трем этим концепциям дается дополнительное условие, что N должно быть хорошо обоснованным. Следовательно, внутренние модели транзитивны, транзитивные модели стандартны, а стандартные модели хорошо обоснованы.
Предположение, что существует стандартная подмодель ZFC (в данном юниверсе), сильнее, чем предположение о существовании модели. Фактически, если существует стандартная подмодель, то существует наименьшая стандартная подмодель, называемая минимальной моделью, которая содержится во всех стандартных подмоделях. Минимальная подмодель не содержит стандартной подмодели (поскольку она минимальна), но (при условии согласованности ZFC) она содержит некоторую модель ZFC по теореме Гёделя о полноте. Эта модель обязательно не является обоснованной, иначе ее коллапс Мостовского был бы стандартной подмоделью. (Оно не является хорошо обоснованным как отношение во вселенной, хотя удовлетворяет аксиоме основания, поэтому «внутренне» хорошо обосновано. Хорошее обоснование не является абсолютным свойством.) В частности, в минимальная подмодель есть модель ZFC, но нет стандартной подмодели ZFC.
Обычно, когда говорят о внутренних моделях теории, обсуждаемая теория - это ZFC или какое-то расширение ZFC (например, ZFC + a измеримый кардинал ). Когда теория не упоминается, обычно предполагается, что обсуждаемая модель является внутренней моделью ZFC. Однако нередко также можно говорить о внутренних моделях подтеорий ZFC (например, ZF или KP ).
Курт Гёдель доказал, что любая модель ZF имеет наименьшую внутреннюю модель ZF (которая также является внутренней моделью ZFC + GCH ), называемый конструируемой вселенной, или L.
. Существует раздел теории множеств, называемый теорией внутренних моделей, который изучает способы построения наименьшего внутренние модели теорий, расширяющих ZF. Теория внутренней модели привела к открытию точной силы согласованности многих важных теоретических свойств множеств.