论文标题
质量模型结构基于有限模型的逻辑局部概念
Quillen Model Structures-Based Notions of Locality of Logics over Finite Models
论文作者
论文摘要
局部性是基于Hanf和Gaifman定理的逻辑的属性，在有限模型理论的背景下，这非常有用。在本文中，我为区域性提出了一个同型变化，即基于k-逻辑等效性下的基于Quillen模型类别的框架，对于量词rank-rank-rank-rank k的每个原始阳性句子。
Locality is a property of logics, based on Hanf's and Gaifman's theorems, and that was shown to be very useful in the context of finite model theory. In this paper I present a homotopic variation for locality, namely a Quillen model category-based framework for locality under k-logical equivalence, for every primitive-positive sentence of quantifier-rank k.
