论文标题
模型理论中的伪反应和统一的亚竞争原理
Pseudocompactness and the Uniform Metastability Principle in Model Theory
论文作者
论文摘要
我们证明，统一的亚稳定性等于所有封闭的子空间是假反理的，并使用它来提供Caicedo，Duenez和Iovino引入的Metatheorem的拓扑证明，以统一的亚稳定性和可计数的逻辑紧凑性。
We prove that uniform metastability is equivalent to all closed subspaces being pseudocompact and use this to provide a topological proof of the metatheorem introduced by Caicedo, Duenez and Iovino on uniform metastability and countable compactness for logics.
