弱コンパクト基数

非可算な基数 κ に対して、以下の条件は全て同値。

1. κ は弱コンパクト
2. 全ての λ<κ, 自然数 n ≥ 2, 関数 f: [κ]ⁿ → λ に対して、f に対して homogeneous な濃度 κ の集合が存在する。(Drake 1974, chapter 7 theorem 3.5)
3. κ が 到達不能で、tree property（高さ κ のいかなる木もサイズ κ のレベルか枝を持つこと。すなわちκ-アロンシャイン木が存在しないこと。）を満たす。
4. 全ての濃度 κ の線形順序集合が順序型 κ の増加列または減少列を持つ。
5. κ は ${\displaystyle \Pi _{1}^{1}}$-記述不能。
6. κ は extension property を満たす。言い換えると全てのU ⊂ V_κに対してκ ∈ Xである推移的集合 Xと S ⊂ X が存在して、(V_κ, ∈, U) が (X, ∈, S)の初等部分モデルとなる。ここで、 U と S は一変数述語と考えている。
7. 任意の κ の濃度 κ な部分集合 S に対し、S を決定する非自明な κ-完備フィルターが存在する。
8. κ は κ-unfoldableである。
9. κ は到達不能で無限言語 L_κ,κ は弱コンパクト性定理を満たす。
10. κ は到達不能で無限言語 L_κ,ω は弱コンパクト性定理を満たす。

言語 L_κ,κ が弱コンパクト性定理を満たすとは、Σ が高々濃度 κ の文の集合であり、その濃度 κ 未満の部分集合が全てモデルを持つならば、Σ もモデルを持つことを言う。強コンパクト基数も文の集合の濃度の制限を取り払った同様の方法で定義される。

• Drake, F. R. (1974), Set Theory: An Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics, 76, Elsevier Science Ltd, ISBN 0-444-10535-2 
• Erdős, Paul; Tarski, Alfred (1961), “On some problems involving inaccessible cardinals”, Essays on the foundations of mathematics, Jerusalem: Magnes Press, Hebrew Univ., pp. 50–82, MR0167422, http://www.renyi.hu/~p_erdos/ 
• Kanamori, Akihiro (2003), The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed.), Springer, ISBN 3-540-00384-3