数学百科

模型的斯科朗膨胀

2023-06-05

英文

Skolem expansion of a model

简介

满足斯科朗理论的膨胀模型.设U为L的任一模型,U*为U在L的斯科朗膨胀语言L*中的一个膨胀.如果有U*⊨ΣL,其中ΣL为L的斯科朗理论,则称U*为U的一个斯科朗膨胀(模型).