Related papers: The Pebble-Relation Comonad in Finite Model Theory
We study preservation theorems for modal logics over finite structures with respect to three fundamental semantic relations: embeddings, injective homomorphisms, and homomorphisms. We focus on classes of pointed Kripke models that are…
Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the categorical semantics of the differential $\lambda$-calculus. An…
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the…
Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…
The existential k-pebble game characterizes the expressive power of the existential-positive k-variable fragment of first-order logic on finite structures. The winner of the existential k-pebble game on two given finite structures can be…
It has been proposed that cobordism and K-theory groups, which can be mathematically related in certain cases, are physically associated to generalised higher-form symmetries. As a consequence, they should be broken or gauged in any…
Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and K\'or\'odi to pseudo equality algebras which are aimed to find a…
It is shown that path algebras modulo relations of the form $\Lambda = KQ/I$, where $Q$ is a quiver, $K$ a coefficient field, and $I \subseteq KQ$ the ideal generated by all paths of a given length, can be readily analyzed homologically,…
Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…
Analyzing refutations of the well known 0pebbling formulas Peb$(G)$ we prove some new strong connections between pebble games and algebraic proof system, showing that there is a parallelism between the reversible, black and black-white…
We extend Lang's conjectures to the setting of intermediate hyperbolicity and prove two new results motivated by these conjectures. More precisely, we first extend the notion of algebraic hyperbolicity (originally introduced by Demailly) to…
In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of…
The decidability of axiomatic extensions of the modal logic K with modal reduction principles, i.e. axioms of the form $\Diamond^{k} p \rightarrow \Diamond^{n} p$, has remained a long-standing open problem. In this paper, we make…
We study mappings that satisfy the inverse modulus inequality of Poletsky type with respect to $p$-modulus. Given $n-1<p\leqslant n,$ we show that, the image of some ball contains a fixed ball under mappings mentioned above. This statement…
In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…
We propose a graph-based extension of Boolean logic called Boolean Graph Logic (BGL). Construing formula trees as the cotrees of cographs, we may state semantic notions such as evaluation and entailment in purely graph-theoretic terms,…
We expand upon the notion of bottlenecking introduced in our earlier work, characterizing a spectrum of graphs and showing that this naturally extends to a concept of coarse bottlenecking. We show how the notion of bottlenecking provides a…
We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
Noncommutative lattices have been recently used as finite topological approximations in quantum physical models. As a first step in the construction of bundles and characteristic classes over such noncommutative spaces, we shall study their…