初等扩张原理断言:V(R)的初等部分中的句子,即R的一阶谓词中的句子在R中为真,当且仅当*φ在*R中为真。

简介初等扩张原理是转换原理在*映射的初等部分的局限。

转换原理就是:V(R)中的句子φ在V(R)中为真,当且仅当*φ在*V(R)中为真。

初等扩张原理断言:V(R)的初等部分中的句子,即R的一阶谓词中的句子在R中为真,当且仅当*φ在*R中为真。1

背景超结构的初等部分、*映射的初等部分及初等扩张原理是开斯勒(Keisler,H.J.)于1976年在《无穷小分析基础》一书中提出的。

*映射*映射是联系标准全域和非标准全域的映射。

*映射又称为自然扩张映射,在*映射下,A的像*A称为A的*像或A的自然扩张。

本词条内容贡献者为:

杜强 - 高级工程师 - 中国科学院工程热物理研究所