Existentially closed Leibniz algebras and an embedding theorem

Abstract

In this paper we introduce the notion of existentially closed Leibniz algebras. Then we use HNN-extensions of Leibniz algebras in order to prove an embedding theorem.