Scifaro

中文

基于 Quillen 模型结构的有限模型上逻辑局部性概念

范畴论 2020-05-20 v1 逻辑

作者: Hendrick Maia

在 arXiv 上查看 ↗ PDF ↗

摘要

局部性是逻辑的一种性质，基于 Hanf 和 Gaifman 定理，并已被证明在有限模型理论中非常有用。在本文中，我提出局部性的一种同伦变体，即针对 k-逻辑等价、对每一条量化秩为 k 的原语正句而言基于 Quillen 模型范畴的局部性框架。

关键词

局部性有限模型理论 Quillen 模型范畴逻辑等价原语正句量化秩

引用

@article{arxiv.2005.09135,
  title  = {Quillen Model Structures-Based Notions of Locality of Logics over Finite Models},
  author = {Hendrick Maia},
  journal= {arXiv preprint arXiv:2005.09135},
  year   = {2020}
}