| 紧致性定理的纯语义证明 |
| |
| 引用本文： | 吕义忠.紧致性定理的纯语义证明[J].南京大学学报(自然科学版),1989,25(4):573-576. |
| |
| 作者姓名： | 吕义忠 |
| |
| 作者单位： | 南京大学数学系 |
| |
| 摘 要： | 紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。
|
| 关 键 词： | 模型论 紧致性定理 |
A PURE SEMANTIC PROOF OF THE COMPACTNESS THEOREM |
| |
| Lu Yizhong.A PURE SEMANTIC PROOF OF THE COMPACTNESS THEOREM[J].Journal of Nanjing University: Nat Sci Ed,1989,25(4):573-576. |
| |
| Authors: | Lu Yizhong |
| |
| Institution: | Depantment of Mathcmatics |
| |
| Abstract: | Compactness is one of the important properties of first-order model theory. This paper gives a pure sementic proof of the compactness theorem. |
| |
| Keywords: | model thecry compactness thcotem |
| 本文献已被 CNKI 维普 等数据库收录！ |
