Quillen Model Structures-Based Notions of Locality of Logics over Finite Models
Category Theory
2020-05-20 v1 Logic
Abstract
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.
Keywords
Cite
@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}
}