Related papers: Three case studies in current Leibniz scholarship
We introduce the notion of c-nilpotent Schur Lie-multiplier of Leibniz algebras. We obtain exact sequences and formulas of the dimensions of the underlying vector spaces relating the c-nilpotent Schur Lie-multiplier of a Leibniz algebra Q…
The view of infinity as a metaphor, a basic premise of modern cognitive theory of embodied knowledge, suggests in particular that there may be alternative ways in which one could formalize mathematical ideas about infinity. We discuss the…
Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the…
The present paper is devoted to the description of finite-dimensional semisimple Leibniz algebras over complex numbers, their derivations and automorphisms.
In this work, we extend the central extension method for solvable Leibniz algebras. Using this method, a complete classification of one-dimensional abelian extensions of five-dimensional solvable Leibniz algebras with a non-trivial…
In this paper a novel calculus system has been established based on the concept of 'werden'. The basis of logic self-contraction of the theories on current calculus was shown. Mistakes and defects in the structure and meaning of the…
We classify all nonnilpotent, solvable Leibniz algebras with the property that all proper subalgebras are nilpotent. This generalizes the work of Stitzinger and Towers in Lie algebras. We show several examples which illustrate the…
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more…
The paper is an implementation in low dimensional cases of the classification method presented before by Rakhimov and Bekbaev. We give a complete classification of a subclass of complex filiform Leibniz algebras obtained from the naturally…
In a variety of applications it is important to extract information from a probability measure $\mu$ on an infinite dimensional space. Examples include the Bayesian approach to inverse problems and possibly conditioned) continuous time…
Let I be a finite set and CI be the algebra of functions on I. For a finite dimensional C algebra A with \CI contained in A we show that certain moduli spaces of finite dimsional modules are isomorphic to certain Grassmannian (quot-type)…
In this note we consider low dimensional metric Leibniz algebras with an invariant inner product over the complex numbers up to five dimension. We study their deformations, and give explicit formulas for the cocycles and deformations. We…
In this paper, we study some properties of Euler polynomials arising from umbral calculus. Finally, we give some interesting identities of Euler polynomials using our results. Recently, Dere and Simsek have studied umbral calculus related…
We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…
This work addresses a specific technical question of relevance to canonical quantization of gravity using the so-called new variables and loop-based techniques of Ashtekar, Rovelli, and Smolin. In particular, certain `superselection laws'…
The widespread idea that infinitesimals were "eliminated" by the "great triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an…
This paper, which is dedicated to Alan Turing on the 50th anniversary of his death, gives an overview and discusses the philosophical implications of incompleteness, uncomputability and randomness.
We construct a new version of the dual Gromov--Hausdorff propinquity that is sensitive to the strongly Leibniz property. In particular, this new distance is complete on the class of strongly Leibniz quantum compact metric spaces. Then,…
We give an overview of our formalizations in the proof assistant Isabelle/HOL of certain irrationality and transcendence criteria for infinite series from three different research papers: by Erd\H{o}s and Straus (1974), Han\v{c}l (2002),…
In this note we point out that the definition of the universal enveloping dialgebra for a Leibniz algebra is consistent with the interpretation of a Leibniz algebra as a generalization not of a Lie algebra, but of the adjoint representation…