超结构嵌入存在定理断言:存在满足转换原理的超结构嵌入∗:V(R)→V(*R)。
简介超结构嵌入存在定理是关于超结构嵌入存在性的定理。
该定理断言:存在满足转换原理的超结构嵌入∗:V(R)→V(*R)。1
饱和的超结构嵌入饱和的超结构嵌入是具有饱和性的超结构嵌入。
一个超结构嵌入∗:V(R)→V(*R)称为是饱和的,若其基数小于*R的基数的由内集构成的族X的每个有限子集有非空交,则X有非空交。
转换原理(transfer principle)
转换原理亦称莱布尼茨原理,是联系分析的标准模型与非标准模型的纽带。
简单地说,转换原理是说形式语言中相同的断言在标准模型和非标准模型中或者同真或者同假。在分析的(初等或高阶的)非标准模型的定义中,要求在标准模型中的句子在扩张后的非标准模型中也成立;反之,由于后者是前者的扩张,因而这种句子在局限于标准模型时也成立,人们把这个性质称为转换原理。
本词条内容贡献者为:
杜强 - 高级工程师 - 中国科学院工程热物理研究所