适用范围
紧致性定理
热度:509
简介
紧致性定理是符号逻辑和模型论中的基本事实,它断言一阶句子的(可能无限的)集合是可满足的(就是说有一个模型),当且仅当它的所有有限子集是可满足的。命题演算的紧致性定理是吉洪诺夫定理(它声称紧致空间的积是紧致的)应用于紧致stone空间的结果。
| 中文名 | 紧致性定理 |
|---|---|
| 原始名称 | 紧致性定理 |
| 外文名 | compactness theorem |
| 应用学科 | 数学 |
| 精选上位词 | 科学百科数理科学分类 |
| 英文名 | compactness theorem |
相关实体