| 骆文海-斯科林定理 Löwenheim-Skolem theorem 模型论的一条重要定理。内容为：(1)如果 「是一个可数语言中的一个可满足的公式集，则 「在某个可数结构中可满足。(2)如果 「是一个基数为k的语言中的一个可满足的公式集，则 「在某个基数≤k的结构中可满足。1915年德国逻辑学家骆文海(Leo pold Löwenheim， 1878—1940)就 「中只有一个公式的情况发表了这一定理，1920年挪威逻辑学家斯科林(T.Skolem， 1887—1963)推广到 「为无穷的情况。20世纪30年代，塔尔斯基又作了进一步推广。应用这条定理可推出非标准模型。这一定理与紧致性定理一起构成了一阶谓词逻辑系统的一种特性，即任何满足这两个定理的系统必是它的子系统。这一定理是模型论的早期结果之一，是数理逻辑发展的一个新时期的标志。 |