论文标题
部分可观测时空混沌系统的无模型预测
Compactness in Team Semantics
论文作者
论文摘要
我们提供了两个基于团队语义的一阶逻辑扩展的紧凑型定理的证明。首先，我们建立在Lück的Ultraproduct构造中，用于团队语义，并证明了合适的版本的Oloś'定理。其次，我们表明，通过使用适当饱和的模型，我们可以将Kontinen和Yang的证据推广到任意多个变量的一组公式。
We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon Lück's ultraproduct construction for team semantics and prove a suitable version of Łoś' Theorem. Second, we show that by working with suitably saturated models, we can generalize the proof of Kontinen and Yang to sets of formulas with arbitrarily many variables.
