论文标题
结构的系绳，令人欣喜的结构以及oś定理的概括
Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem
论文作者
论文摘要
结构的系束对于在通用代数和模型理论中提供结构很有用。我们可以用高估的结构来描述他们的逻辑行为。在本文中，我们首先从分类逻辑的角度提供了结构和高估的结构的系统处理。然后，我们证明了一种用于Heyting值得估算的结构的形式。我们还赋予了Heyting值得评估的结构的特征，该结构与任何最大过滤器有关。
Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of structures and Heyting-valued structures from the viewpoint of categorical logic. We then prove a form of Łoś's theorem for Heyting-valued structures. We also give a characterization of Heyting-valued structures for which Łoś's theorem holds with respect to any maximal filter.
