斯科朗閉包

斯科朗閉包(Skolem closure)模型論域的一種封閉子集.設留‘是留的一個斯科朗膨脹.並設X}A,X在o}‘中生成一個子模型t (X)0，它在牙中的歸約.So(X)是GZl的一個子模型，其論域H(X)稱為X在o}‘中的斯科朗閉包.

基本介紹

• 中文名：斯科朗閉包
• 外文名：Skolem closure