20/02/12 00:00:36 8axgfTbD.net
【コンパクト性定理】を否定するのは、無理ゲーでしょ（＾＾；
URLﾘﾝｸ(fujicategory.hatenadiary.org)
数学基礎論の勉強ノート
2011-06-22
１階論理のコンパクト性 fujicategory
第１章
【コンパクト性定理】
１階論理の公理系Ｔの任意有限部分がモデルを持つならば、Ｔはモデルを持つ。
ここで出てくる「コンパクト性」は、位相空間での「コンパクト性」と何か関係があるのかなーと思ってググってみたら、やっぱりあった。３．５秒で疑問が解決しました。
URLﾘﾝｸ(d.hatena.ne.jp)
コンパクト空間と論理／モデル論 檜山正幸のキマイラ飼育記
位相空間がコンパクトであることの定義はいくつかありますけど、そのうちのひとつ：
有限交叉性を持つ任意の閉集合系は、空でない共通部分を持つ。
これが関わってくるんですね。ｵﾓｼﾛｲﾅｰ。
ウルトラフィルターを使えばコンパクト性定理は証明できますが、新井先生の本では命題論理のコンパクト性を通して１階論理のコンパクト性を証明していました。
命題論理で論理式が充足可能であることを、真理値への対応つまり付値によって定義
↓
命題論理のコンパクト性：
命題論理の論理式の集合が充足可能 ⇔ Ｔの任意有限部分が充足可能
↓
Henkin拡張しちゃって、１階論理の公理系を命題論理の論理式の集合とみなす。ここから１階論理のコンパクト性の証明
命題論理のコンパクト性を証明する時に、任意有限部分が充足可能な論理式の集合で極大なものを考えていくあたりに、ウルトラフィルターの片鱗を感じました。