英文
Skolem expansion of a model
简介
满足斯科朗理论的膨胀模型.设U为L的任一模型,U*为U在L的斯科朗膨胀语言L*中的一个膨胀.如果有U*⊨ΣL,其中ΣL为L的斯科朗理论,则称U*为U的一个斯科朗膨胀(模型).
数学百科
2023-06-05
Skolem expansion of a model
满足斯科朗理论的膨胀模型.设U为L的任一模型,U*为U在L的斯科朗膨胀语言L*中的一个膨胀.如果有U*⊨ΣL,其中ΣL为L的斯科朗理论,则称U*为U的一个斯科朗膨胀(模型).