compactness theorem (logic)

定理

L を通常の一階述語論理の言語とし，T を L の論理式達からなる何らかの集合とする．
このとき，T のモデルが存在する必要十分条件は，任意の T の有限部分集合について
モデルが存在することである．

性質

注意

出典

とりあえずは

L. A. Henkin, The compactness of the first-order functional calculus, J. Symbolic Logic 14 (1949).