その他の論理体系におけるコンパクト性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/25 13:38 UTC 版)
「コンパクト性定理」の記事における「その他の論理体系におけるコンパクト性」の解説
命題論理における同様の結果は、位相空間論のチコノフの定理をストーン空間に適用することで得られる。en:Lindström's theoremは、コンパクト性定理と(下方)レーヴェンハイム-スコーレムの定理が一階述語論理を特徴づける性質であることを示している。高階述語論理においてもある種のコンパクト性は保持されているが、コンパクト性定理自体は成り立たない。
※この「その他の論理体系におけるコンパクト性」の解説は、「コンパクト性定理」の解説の一部です。
「その他の論理体系におけるコンパクト性」を含む「コンパクト性定理」の記事については、「コンパクト性定理」の概要を参照ください。
- その他の論理体系におけるコンパクト性のページへのリンク