Related papers: Pseudo Equality Algebras -- Revision
Partial combinatory algebras are algebraic structures that serve as generalized models of computation. In this paper, we study embeddings of pcas. In particular, we systematize the embeddings between relativizations of Kleene's models, of…
A pseudoline is a homeomorphic image of the real line in the plane so that its complement is disconnected. An arrangement of pseudolines is a set of pseudolines in which every two cross exactly once. A drawing of a graph is pseudolinear if…
Lie antialgebras is a class of supercommutative algebras recently appeared in symplectic geometry. We define the notion of enveloping algebra of a Lie antialgebra and study its properties. We show that every Lie antialgebra is canonically…
Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…
The paper deals with the configuration of subalgebras in generic $n$-dimensional $k$-argument anticommutative algebras and ``regular'' anticommutative algebras.
We introduce more generalizations of BCI, BCK and of Hilbert algebras, with proper examples, and show the hierarchies existing between all these algebras, old and new ones. Namely, we found thirty one new generalizations of BCI and BCK…
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of…
We introduce the class of split regular Hom-Leibniz algebras as the natural generalization of split Leibniz algebras and split regular Hom-Lie algebras. By developing techniques of connections of roots for this kind of algebras, we show…
The relationship according to which one physical theory encompasses the domain of empirical validity of another is widely known as "reduction." Here it is argued that one popular methodology for showing that one theory reduces to another,…
Two types of higher order Lie $\ell$-ple systems are introduced in this paper. They are defined by brackets with $\ell > 3$ arguments satisfying certain conditions, and generalize the well known Lie triple systems. One of the…
The goal of this note is to announce certain results in orbit equivalence theory, especially concerning the approximation of p.m.p. standard equivalence relations by increasing sequence of sub-relations, with applications to the behavior of…
G-algebras, or Groebner bases algebras, were considered by Levandovsky, these algebras include very important families of algebras, like the Weyl algebras and the universal enveloping algebra of a finite dimensional Lie algebra. These…
Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…
In this paper we study the subdirectly irreducible algebras in the variety ${\cal PCDM}$ of pseudocomplemented De Morgan algebras by means of their De Morgan $p$-spaces. We introduce the notion of $body$ of an algebra ${\bf L} \in {\cal…
We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions
We characterize H-like Lie algebras in terms of subspaces of cones over conjugacy classes in $\mathfrak{so}(\mathbb{R}^q)$, translating the classification problem for H-like Lie algebras to an equivalent problem in linear algebra. We study…
We define a new $q$-deformation of Brauer's centralizer algebra which contains Hecke algebras of type $A$ as unital subalgebras. We determine its generic structure as well as the structure of certain semisimple quotients. This is expected…
We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological…
We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleene algebra, a higher-dimensional generalisation of modal and…
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra…