arXiv subjects

Hendrick Maia

Publications and source records attributed to Hendrick Maia.

2 recordsLinked to original sources

arXiv2020

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

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.

math.CT↗

arXiv2020

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

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.

math.CT↗