紧性定理 - 引用次数：4参考来源 - 关于二维球面上的Ricci流的一个注记 A Remark on the Ricci Flow on the 2
·2,447,543篇论文数据，部分数据来源于NoteExpress
Compactness theorem
abstract:In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent.