摘要
紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。
Compactness is one of the important properties of first-order model theory. This paper gives a pure sementic proof of the compactness theorem.
出处
《南京大学学报（自然科学版）》
CAS
CSCD
1989年第4期573-576,共4页
Journal of Nanjing University（Natural Science）
