Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence

Abstract

In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-positive sentence of quantifier-rank $k$. In this paper, we will present some of the implications and possible themes for investigations that arise from the aforementioned framework.

arXiv commentarXiv admin note: text overlap with arXiv:2005.09135, arXiv:1103.0400

References in corpus (1)

• Quillen Model Structures-Based Notions of Locality of Logics over Finite Models