初等擴張原理

初等擴張原理斷言：V(R)的初等部分中的句子，即R的一階謂詞中的句子在R中為真，若且唯若*φ在*R中為真。

基本介紹

• 中文名：初等擴張原理
• 外文名：elementary extension principle
• 適用範圍：數理科學

簡介

初等擴張原理是轉換原理在*映射的初等部分的局限。

轉換原理就是：V(R)中的句子φ在V(R)中為真，若且唯若*φ在*V(R)中為真。

初等擴張原理斷言：V(R)的初等部分中的句子，即R的一階謂詞中的句子在R中為真，若且唯若*φ在*R中為真。

背景

超結構的初等部分、*映射的初等部分及初等擴張原理是開斯勒(Keisler,H.J.)於1976年在《無窮小分析基礎》一書中提出的。

*映射

*映射是聯繫標準全域和非標準全域的映射。

*映射又稱為自然擴張映射，在*映射下，A的像*A稱為A的*像或A的自然擴張。