Related papers: A computational glimpse at the Leibniz and Frege h…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
In this paper we classify solvable Leibniz algebras whose nilradical is a null-filiform algebra. We extend the obtained classification to the case when the solvable Leibniz algebra is decomposed as a direct sum of its nilradical, which is a…
We extend results related to maximal subalgebras and ideals from Lie to Leibniz algebras. In particular, we classify minimal non-elementary Leibniz algebras and Leibniz algebras with a unique maximal ideal. In both cases, there are types of…
The paper deals with the complete classification of a subclass of complex filiform Leibniz algebras in dimensions 5 and 6. This subclass arises from the naturally graded filiform Lie algebras. We give a complete list of algebras. In…
Leibniz algebras are certain generalization of Lie algebras. It is natural to generalize concepts in Lie algebras to Leibniz algebras and investigate whether the corresponding results still hold. In this paper we introduce the notion of…
The syntactic nature of logic and computation separates them from other fields of mathematics. Nevertheless, syntax has been the only way to adequately capture the dynamics of proofs and programs such as cut-elimination, and the finiteness…
This paper is a contribution to the development of the non associative algebras theory. More precisely, this work deals with the classification of the complex 4-dimensional Leibniz algebras. Note that the classification of 4-dimensional…
We extend the classification of solvable Lie algebras with abelian nilradicals to classify solvable Leibniz algebras which are one dimensional extensions of an abelian nilradicals.
In this paper we describe solvable Leibniz algebras whose quotient algebra by one-dimensional ideal is a Lie algebra with rank equal to the length of the characteristic sequence of its nilpotent radical. We prove that such Leibniz algebra…
The "coquecigrue" problem for Leibniz algebras is that of finding an appropriate generalization of Lie's third theorem, that is, of finding a generalization of the notion of group such that Leibniz algebras are the corresponding tangent…
In this paper we investigate the derivations of filiform Leibniz algebras. Recall that the set of filiform Leibniz algebras of fixed dimension is decomposed into three non-intersected families. We found sufficient conditions under which…
The paper is devoted studying solvable Leibniz algebras with a nilradical possessing the codimension equals the number of its generators. We describe this class in non-split nilradical case. Then the case of split nilradical is worked out.…
Leibniz algebras are certain generalization of Lie algebras. In this paper we give the classification of four dimensional non-Lie nilpotent Leibniz algebras. We use the canonical forms for the congruence classes of matrices of bilinear…
A classification exists for Lie algebras whose nilradical is the triangular Lie algebra $T(n)$. We extend this result to a classification of all solvable Leibniz algebras with nilradical $T(n)$. As an example we show the complete…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
In this paper we define the basic concepts for left or right Leibniz algebras and prove some of the main results. Our proofs are often variations of the known proofs and several results seem to be new.
The Leibniz algebras appear as a generalization of the Lie algebras \cite{loday}. The classification of naturally graded $p$-filiform Lie algebras is known \cite{C-G-JM}, \cite{J.Lie.Theory}, \cite{AJM}, \cite{Ve}. In this work we deal with…
A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type…
We describe all rigid algebras and all irreducible components in the variety of four dimensional Leibniz algebras $\mathfrak{Leib}_4$ over $\mathbb{C}.$ In particular, we prove that the Grunewald--O'Halloran conjecture is not valid and the…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…