Related papers: Three case studies in current Leibniz scholarship
The $n$-dimensional $p$-filiform Leibniz algebras of maximum length have already been studied with $0\leq p\leq 2$. For Lie algebras whose nilindex is equal to $n-2$ there is only one characteristic sequence, $(n-2,1,1)$, while in Leibniz…
Leibniz algebras ${\mathcal E}_n$ were introduced as algebraic structure underlying U-duality. Algebras ${\mathcal E}_3$ derived from Bianchi three-dimensional Lie algebras are classified here. Two types of algebras are obtained:…
In this paper we describe the infinitesimal deformations of null-filiform Leibniz superalgebras over a field of zero characteristic. It is known that up to isomorphism in each dimension there exist two such superalgebras $NF^{n,m}$. One of…
From the theory of finite dimensional Lie algebras it is known that every finite dimensional Lie algebra is decomposed into a semidirect sum of semisimple subalgebra and solvable radical. Moreover, due to work of Mal'cev the study of…
The following three geometrical structures on a manifold are studied in detail: (1) Leibnizian: a non-vanishing 1-form $\Omega$ plus a Riemannian metric $\h$ on its annhilator vector bundle. In particular, the possible dimensions of the…
How difficult are interactive theorem provers to use? We respond by reviewing the formalization of Hilbert's tenth problem in Isabelle/HOL carried out by an undergraduate research group at Jacobs University Bremen. We argue that, as…
We study the relation between algebraic structures and Graph Theory. We have defined five different weighted digraphs associated to a finite dimensional algebra over a field in order to tackle important properties of the associated…
The article presents the structure of the automorphism groups of two types of non-nilpotent Leibniz algebras with a dimension of 3.
This paper is devoted to the complete algebraic and geometric classification of complex $5$-dimensional nilpotent binary Leibniz and $4$-dimensional nilpotent mono Leibniz algebras. As a corollary, we have the complete algebraic and…
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.
We examine the classical/intuitionist divide, and how it reflects on modern theories of infinitesimals. When leading intuitionist Heyting announced that "the creation of non-standard analysis is a standard model of important mathematical…
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…
This paper deals with the subject of infinitesimal variations of Euclidean submanifolds with arbitrary dimension and codimension. The main goal is to establish a Fundamental theorem for these geometric objects. Similar to the theory of…
We investigate the problem of learning description logic ontologies from entailments via queries, using epistemic reasoning. We introduce a new learning model consisting of epistemic membership and example queries and show that polynomial…
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the…
Several examples are used to illustrate how we deal cavalierly with infinities and unphysical systems in physics. Upon examining these examples in the context of infinities from Cantor's theory of transfinite numbers, the only known…
We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…
This is a systematic review of the concept of indistinguishability in both classical and quantum mechanics, with particular attention to Gibbs' paradox. Section 1 is on the Gibbs paradox; section 2 is a defense of the concept of classical…
An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…
In this paper we study the Lie algebras of derivations of two-step nilpotent algebras. We obtain a class of Lie algebras with trivial center and abelian ideal of inner derivations. Among these, the relations between the complex and the real…