强紧致基数：集合论中的一种“大基数”。粗略地说，一个基数 \(\kappa\) 若是强紧致的，意味着在很多逻辑/模型论情境下，“紧致性（compactness）”性质可以推广到以 \(\kappa\) 为尺度的更高层级；等价刻画之一是：对每个 \(\lambda \ge \kappa\)，存在一个细的（fine）\(\kappa\)-完备超滤在 \(P_\kappa(\lambda)\) 上。它比“可测基数（measurable cardinal）”更强，且在“大基数谱系”中具有重要地位。（该术语也有多种等价定义与技术细节。）
/ˈstrɔŋli kəmˈpækt ˈkɑːrdɪnəl/
A strongly compact cardinal is a type of large cardinal.
强紧致基数是一类大基数。
Assuming a strongly compact cardinal, certain compactness and reflection principles hold for structures of size at least \(\kappa\).
在假设存在强紧致基数的情况下，某些紧致性与反射原理会对大小至少为 \(\kappa\) 的结构成立。
strongly compact 来自逻辑中的 compactness（紧致性） 概念：在一阶逻辑里，“若每个有限子集可满足，则整体可满足”称为紧致性。集合论把这种思想推广到更高基数层面，并用“strongly（强）”表示比一般的“\(\kappa\)-compact/compact”性质更强的版本；cardinal 则是“基数”，表示集合大小的度量。合起来即“具有强紧致性性质的基数”。
Select Language