Related papers: Homomorphism Preservation on Quasi-Wide Classes
This paper aims to establish the theoretical foundation for shift inclusion in mathematical morphology. In this paper, we prove that the morphological opening and closing concerning structuring elements of shift inclusion property would…
In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures…
We prove a version of a small index property theorem for strong amalgamation classes. Our result builds on an earlier theorem by Lascar and Shelah (in their case, for saturated models of uncountable first-order theories). We then study…
Symmetries are defined in histories-based generalized quantum mechanics paying special attention to the class of history theories admitting quasitemporal structure (a generalization of the concept of `temporal sequences' of `events' using…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
Two main topics are considered: The characterisation of finite homomorphism dualities for relational structures, and the splitting property of maximal antichains in the homomorphism order.
A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Ne\v{s}et\v{r}il introduced a relaxed version of…
In this paper, we introduce a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. We discuss various properties of quasi-projective dimension. Among other things, we prove the…
The Svenonius theorem describes the (first-order) definability in a structure in terms of permutations preserving the relations of elementary extensions of the structure. In the present paper we prove a version of this theorem using…
Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…
The notion of homomorphism indistinguishability offers a combinatorial framework for characterizing equivalence relations of graphs, in particular equivalences in counting logics within finite model theory. That is, for certain graph…
A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…
We prove that for almost complex structures of H\"older class at least 1/2, any J-holomorphic disc, that is constant on some non empty open set, is constant. This is in striking contrast with well known, trivial, non-uniqueness results. We…
In this paper, we settle the homotopy properties of the infinity-morphisms of homotopy (bial)-gebras over properads, i.e. algebraic structures made up of operations with several inputs and outputs. We start by providing the literature with…
In this paper we consider a class of semihamiltonian systems characterized by the existence of a special conservation law. The density and the current of this conservation law satisfy a second order system of PDEs which has a natural…
We show that the Hausdorff reflection preserves the shape type of spaces. Some examples as well as the applicability in inverse limits of finite spaces are presented.
In this article we show that positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is subsequently used to…
We extend the notion of $H$-measures on test functions defined on $\R^d\times P$, where $P\subset \R^d$ is an arbitrary compact simply connected Lipschitz manifold such that there exists a family of regular nonintersecting curves issuing…
We study which classic modal definability and preservation results survive when attention is restricted to finite structures, where many first-order transfer theorems are known to break down. Several semantic characterizations for modal…
In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of…