Search

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and a unary generating function S. The usage of mathematical induction often involves wider set of base cases and k-ary generating functions with different structural restrictions. While subsequent studies have shown several Induction Models to be equivalent, there does not exist precise logical characterization of reduction and equivalence among different Induction Models. In this paper, we generalize the definition of Induction Model and demonstrate existence and construction of S for given B and vice versa. We then provide a formal characterization of the reduction among different Induction Models that can allow proofs in one Induction Models to be expressed as proofs in another Induction Models. The notion of reduction allows us to capture equivalence among Induction Models., Comment: 22 pages. This is the full version of the paper published in proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2020

The main purpose of this paper is to define representations and a cohomology of color Hom-Lie algebras and to study some key constructions and properties. We describe Hartwig-Larsson-Silvestrov Theorem in the case of $\Gamma$-graded algebras, study one-parameter formal deformations, discuss $\alpha^{k}$-generalized derivation and provide examples.

Hom-alternative, Hom-Malcev and Hom-Jordan superalgebras are $\mathbb{Z}_{2}$-graded generalizations of Hom-alternative, Hom-Malcev and Hom-Jordan algebras, which are Hom-type generalizations of alternative, Malcev and Jordan algebras. In this paper we prove that Hom-alternative superalgebras are Hom-Malcev-admissible and are also Hom-Jordan-admissible. Home-type generalizations of some well known identities in alternative superalgebras, including the $\mathbb{Z}_{2}$-graded Bruck-Kleinfled function are obtained., Comment: arXiv admin note: substantial text overlap with arXiv:1002.3944 by other authors

The purpose of this paper is to study quadratic color Hom-Lie algebras. We present some constructions of quadratic color Hom-Lie algebras which we use to provide several examples. We describe $T^\ast$-extensions and central extensions of color Hom-Lie algebras and establish some cohomological characterizations.

The aim of this paper is to provide cohomologies of $n$-ary Hom-Nambu-Lie algebras governing central extensions and one parameter formal deformations. We generalize to $n$-ary algebras the notions of derivations and representation introduced by Sheng for Hom-Lie algebras. Also we show that a cohomology of $n$-ary Hom-Nambu-Lie algebras could be derived from the cohomology of Hom-Leibniz algebras.

In this paper we construct ternary $q$-Virasoro-Witt algebras which $q$-deform the ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos using $su(1,1)$ enveloping algebra techniques. The ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos depend on a parameter and are not Nambu-Lie algebras for all but finitely many values of this parameter. For the parameter values for which the ternary Virasoro-Witt algebras are Nambu-Lie, the corresponding ternary $q$-Virasoro-Witt algebras constructed in this article are also Hom-Nambu-Lie because they are obtained from the ternary Nambu-Lie algebras using the composition method. For other parameter values this composition method does not yield Hom-Nambu Lie algebra structure for $q$-Virasoro-Witt algebras. We show however, using a different construction, that the ternary Virasoro-Witt algebras of Curtright, Fairlie and Zachos, as well as the general ternary $q$-Virasoro-Witt algebras we construct, carry a structure of ternary Hom-Nambu-Lie algebra for all values of the involved parameters.

The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and show how they are related to the cohomology with coefficients in ther space of smooth functions of the manifold., Comment: 12 pages

The space of symbols of differential operators on a smooth manifold (i.e., the space of symmetric contravariant tensor fields) is naturally a module over the Lie algebra of vector fields. We study, in the case of $\bf R^n$ with $n\geq2$, multi-parameter formal deformations of this module. The space of linear differential operators on $\bf R^n$ provides an important class of such formal deformations; we show, however, that the whole space of deformations is much larger., Comment: 17 pages, LaTeX