紧致性定理是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。
利用中介逻辑的完备性，本文证明了紧致性定理，即一理论有模型当且仅当其任一有穷子集有模型。
The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
本文摘要叙述有关三维紧致光滑流形上结构稳定的微分同胚的一个特征性定理的证明。
This note takes a sketch of a proof of a characterization theorem for diffeomorphisms oa a compact 3-dimensional smooth manifold to be structurally stable.
应用推荐