Löwenheim–Skolem 定理

形式陈述

向下 Löwenheim–Skolem 定理：若 $\mathcal M$ 是语言 $L$ 的无限结构， $A\subseteq M$ ，则存在初等子结构 $\mathcal N\preccurlyeq\mathcal M$ ，包含 $A$ 且

|N|\le\max\{|A|,|L|,\aleph_0\}.

特别地，符号集合为可数集的语言，其无限结构有可数初等子结构。向上形式：若一阶理论 $T$ 有无限模型，则对每个无限基数 $\kappa\ge\max\{|L|,\aleph_0\}$ ， $T$ 有大小为 $\kappa$ 的模型。证明分别使用 Skolem hull/Tarski–Vaught 与紧致性加入许多不同常元。

直觉

一阶公式一次只涉及有限多个符号和见证，无法强制一个无限模型只存在于唯一无限基数。向下定理把所需见证闭合成较小的初等子结构，向上定理则借新常元构造更大模型；因此一个有无限模型的一阶理论，通常会在许多不同基数上都有模型。所谓 Skolem 悖论来自模型内部与外部对“可数”的判定标准不同，而非真正矛盾。

例子与边界

若 ZFC 有模型，则向下定理给出一个从外部看可数的模型；模型内部仍可能认为某集合“不可数”，因为模型中不存在它所认可的、从其自然数到该集合的双射。这正是 Skolem 悖论的内外视角差异。定理不说任意指定子结构都是初等的，也不适用于有限模型向任意大小扩张；不可数语言的最小保证还必须包含 $|L|$ 项，不能无条件断言存在可数模型。二阶范畴性理论也不受同样结论约束，说明这里的限制取决于一阶语义层级。

推论与应用

一阶紧致性定理常用于证明向上版本，Skolem hull 用于向下版本。两者共同控制一阶理论的模型基数谱，支持可数模型方法、饱和模型构造、初等子模型和非范畴性分析，也揭示一阶逻辑无法在所有无限基数中唯一刻画标准无限结构。

参考资料

David Marker, Model Theory: An Introduction, Springer, 2002，§2.1, downward and upward Löwenheim–Skolem theorems。
Wilfrid Hodges, Model Theory, Cambridge University Press, 1993，Ch. 3, Löwenheim–Skolem and cardinalities of models。

形式陈述 ​

反向链接

形式陈述