形式陈述

Łoś 定理断言：对超积 $\mathcal M=\prod_{i\in I}\mathcal M_i/\mathcal U$$\mathcal{M}=\prod _{i\in I}{\mathcal{M}}_i/\mathcal{U}$、任意一阶公式 $\varphi(x_1,\ldots,x_n)$$\phi (x_1,\dots ,x_n)$ 及函数代表 $f_1,\ldots,f_n$$f_1,\dots ,f_n$，

$$ \mathcal M\models\varphi([f_1],\ldots,[f_n]) \iff \{i\in I:\mathcal M_i\models\varphi(f_1(i),\ldots,f_n(i))\}\in\mathcal U. $$$$\mathcal{M}\models \phi ([f_1],\dots ,[f_n])⟺\{i\in I:{\mathcal{M}}_i\models \phi (f_1(i),\dots ,f_n(i))\}\in \mathcal{U}.$$

证明对公式归纳：布尔步骤使用超滤子的补集二选一和有限交性质；存在量词步骤从超滤子大的指标集逐点选见证并组装成代表函数。定理只保证一阶公式的传递。

直觉

超积中的一阶陈述为真，恰好表示它在超滤子判定的“几乎所有”坐标结构中为真；语法的有限构造与超滤子的有限布尔闭合完全匹配。

例子与边界

若每个 $\mathcal M_i$${\mathcal{M}}_i$ 都是域，则超积也是域，因为域公理由一阶句子组成。对超幂，常值序列映射 $a\mapsto[(a)_{i\in I}]$$a\mapsto [(a{)}_{i\in I}]$ 保持所有一阶公式，因此是初等嵌入。有限性、“论域可数”等一般不是单个一阶句子可表达的性质，不能由 Łoś 定理直接按超滤多数传递。主超滤情形退化为在选定坐标求值。

推论与应用

Łoś 定理是超积方法的核心，导出超幂初等嵌入、紧致性的新证明和非标准模型。它也解释为什么超积善于保持可一阶公理化的结构类。

参考资料

• David Marker, Model Theory: An Introduction, Springer, 2002，§2.2, Łoś theorem and elementary diagonal embedding。
• Wilfrid Hodges, Model Theory, Cambridge University Press, 1993，Ch. 4, fundamental theorem of ultraproducts。