Related papers: Proper Multi-Type Display Calculi for Rough Algebr…
We propose the study and description of the structure of complex Lie algebras with nilradical a nilpotent Lie algebra of type 2 by using sl2(C)-representation theory. Our results will be applied to review the classification given in [1] (J.…
We classify and construct irreducible completely splittable representations of affine and finite Hecke-Clifford algebras over an algebraically closed field of characteristic not equal to 2.
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the…
We introduce families of quasi-rectifiable vector fields and study their geometric and algebraic aspects. Then, we analyse their applications to systems of partial differential equations. Our results explain, in a simpler manner, previous…
In recent research, some of the present authors introduced the concept of an n-dimensional Boolean algebra and its corresponding propositional logic nCL, generalising the Boolean propositional calculus to n>= 2 perfectly symmetric truth…
A way to construct and classify the three dimensional polynomially deformed algebras is given and the irreducible representations is presented. for the quadratic algebras 4 different algebras are obtained and for cubic algebras 12 different…
This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} /…
We propose a new type system for lambda-calculus ensuring that well-typed programs can be executed in polynomial time: Dual light affine logic (DLAL). DLAL has a simple type language with a linear and an intuitionistic type arrow, and one…
Let $A$ be a partial *-algebra endowed with a topology $\tau$ that makes it into a locally convex topological vector space $A[\tau]$. Then $A$ is called a topological partial *-algebra if it satisfies a number of conditions, which all…
It is well-known that a Hilbert-style deduction system for first-order classical logic is sound and complete for a model theory built using all Boolean algebras as truth-value algebras if and only if it is sound and complete for a model…
We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms…
The notion of double depth associated with quasi-Jacobi forms allows distinguishing, within the algebra of quasi-Jacobi singular forms of index zero, certain significant subalgebras (modular-type forms, elliptic-type forms, Jacobi forms).…
An equilevel algebra is a subalgebra of the space of smooth functions $f: M \to {\mathbb R}$ distinguished in this space by finitely many linear conditions of the type $f(x_i) = f(\tilde x_i)$, $x_i \neq \tilde x_i \in M$, or approximated…
We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an…
In this paper we classify some special reducts of the countable atomless Boolean algebra which we call functional reducts. We prove that there are exactly $13$ such structures up to first order interdefinability.
We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two maps parameterizing the connection between these pieces. Our…
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for…
We describe the finite-dimensional simple modules of all the (twisted and untwisted) multiloop algebras and classify them up to isomorphism.