内模型

在数理逻辑里，令T 是在集合论的语言

中的一个理论。

若M 是 $L$ 描述集合论的一个模型，且N 是M 中的一个类，能使得

为T包含了所有M的序数的模型，则称N 为T（在M 内）的内模型通常，此类模型会是冯·诺伊曼全集V 的传递子集，或有时会为V 的通集扩张。

集合论的模型称之为标准的，若此模型的元素关系是局限于此模型中的真实元素关系。模型称之为传递的，若其为标准的，且之中的基础类为集合中的传递类。集合论的模型通常假定为传递的，除非明确指明其为非标准的。内模型是传递的，传递模型是标准的，而标准模型则是良基的。

单词	Inner model
释义	Inner model 中文百科内模型在数理逻辑里，令T 是在集合论的语言中的一个理论。若M 是 $L$ 描述集合论的一个模型，且N 是M 中的一个类，能使得为T包含了所有M的序数的模型，则称N 为T（在M 内）的内模型通常，此类模型会是冯·诺伊曼全集V 的传递子集，或有时会为V 的通集扩张。集合论的模型称之为标准的，若此模型的元素关系是局限于此模型中的真实元素关系。模型称之为传递的，若其为标准的，且之中的基础类为集合中的传递类。集合论的模型通常假定为传递的，除非明确指明其为非标准的。内模型是传递的，传递模型是标准的，而标准模型则是良基的。英语百科 Inner model 内模型 In mathematical logic, suppose T is a theory in the language of set theory. If M is a model of $L$ describing a set theory and N is a class of M such that is a model of T containing all ordinals of M then we say that N is an inner model of T (in M). Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension of V.
随便看	high tide line High Tider high tiders high tide shore line high tide shoreline high tide slack water high tilt high time high time to high tinalloy high tin babbit high tin babbitt high tin bronze high tin fillet hight Hightisone high titania potassium electrode high titania sodium electrode high titanic oxide type electrode high titanic type high titanic type electrode high titanium oxide type electrode high titanium slag high titer high titer cold agglutinin syndrome

Inner model

内模型

Inner model 内模型