Related papers: A note on the substructural hierarchy
We define algebraic structures on graph cohomology and prove that they correspond to algebraic structures on the cohomology of the spaces of imbeddings of S^1 or R into R^n. As a corollary, we deduce the existence of an infinite number of…
We classify all of the 4-dimensional linear Poisson structures of which the corresponding Lie algebras can be considered as the extension by a derivation of 3-dimensional unimodular Lie algebras. The affine Poisson structures on R^3 are…
A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of…
We prove that an infinite (bounded) involution lattice and even pseudo--Kleene algebra can have any number of congruences between $2$ and its number of elements or equalling its number of subsets, regardless of whether it has as many ideals…
It is pointed out that if we allow for the possibility of a multilayered universe, it is possible to maintain exact supersymmetry and arrange, in principle, for the vanishing of the cosmological constant. Superpartner(s) of a known particle…
For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $\Lambda$ is finite and distributive, there exists a generic…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
Given a countable group $G$ and two subshifts $X$ and $Y$ over $G$, a continuous, shift-commuting map $\phi : X \to Y$ is called a homomorphism. Our main result states that if every finitely generated subgroup of $G$ has polynomial growth,…
The recent investigation of the gauge structure of extended geometry is generalised to situations when ancillary transformations appear in the commutator of two generalised diffeomorphisms. The relevant underlying algebraic structure turns…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
If $L$ is a finite lattice, we show that there is a natural topological lattice structure on the geometric realization of its order complex $\Delta(L)$ (definition recalled). Lattice-theoretically, the resulting object is a subdirect…
Following the types-as-sets paradigm, we present a mechanized embedding of dependent function types with a hierarchy of universes into schematic first-order logic with equality, with axiom schemas of Tarski-Grothendieck set theory. We carry…
We give a new proof of the fact that finite bipartite graphs cannot be axiomatized by finitely many first-order sentences among FINITE graphs. (This fact is a consequence of a general theorem proved by L. Ham and M. Jackson, and the…
We extend the diagrammatic calculus of syllogisms introduced in our previous paper to the general case of n-term syllogisms, showing that the valid ones are exactly those whose conclusion follows by calculation. Moreover, by pointing out…
In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the…
We determine the product structure on Hochschild cohomology of commutative algebras in low degrees, obtaining the answer in all degrees for complete intersection algebras. As applications, we consider cyclic extension algebras as well as…
In this paper we find the exchange graph of the rank n binomial Laurent phenomenon algebra associated to the complete graph on n vertices. More specifically, we prove that this exchange graph is isomorphic to that of the rank n linear…
We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly…
A graded Artinian algebra $A$ has the Weak Lefschetz Property if there exists a linear form $\ell$ such that the multiplication map by $\ell:[A]_i\to [A]_{i+1}$ has maximum rank in every degree. The linear forms satisfying this property…
Quantum mechanical systems whose symmetry is given by $\mathbb{Z}_2^3$-graded version of superconformal algebra are introduced. This is done by finding a realization of a $\mathbb{Z}_2^3$-graded Lie superalgebra in terms of a standard Lie…