Related papers: Algebraic characterisation of pseudo-elementary an…
The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues…
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λ$\mu$-calculus, which can be…
We extend to semi-abelian categories the notion of characteristic subobject, which is widely used in group theory and in the theory of Lie algebras. Moreover, we show that many of the classical properties of characteristic subgroups of a…
Let F be a field with characteristic two. We generalize the second trace form for central simple algebras with odd degree over F. We determine the second trace form and the Arf invariant and Clifford invariant for tensor products of central…
In this paper we give a complete classification of cyclically graded semisimple Lie algebras that afford cuspidal character sheaves and determine the support of the cuspidal character sheaves. This constitutes a major step towards the…
We classify the category of finite-dimensional real division composition algebras having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing the concept of a…
We introduce the umbral calculus formalism for hypercomplex variables starting from the fact that the algebra of multivariate polynomials $\BR[\underline{x}]$ shall be described in terms of the generators of the Weyl-Heisenberg algebra. The…
We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free…
We classify, up to isomorphism, the group gradings on the non-exceptional classical simple Lie superalgebras, except for type A(1,1), over an algebraically closed field of characteristic zero. To this end, we study graded-simple and…
Let $H=U(\delta)$ be the universal enveloping algebra of finite dimension Lie algebra $\delta$. The central result of the paper is the classification of pre-Lie $H$-pseudoalgebras of low ranks over the Hopf algebra $H$. We firstly study…
We give a construction of a large first-order definable family of subrings of finitely generated fields $K$ of any characteristic. We deduce that for any such $K$ there exists a first-order sentence $\varphi_K$ characterising $K$ in the…
We identify Melrose's suspended algebra of pseudodifferential operators with a subalgebra of the algebra of parametric pseudodifferential operators with parameter space $\R$. For a general algebra of parametric pseudodifferential operators,…
We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is…
In the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…
We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$-categorical groups where this problem is…
We study a new class of pseudo differential operators whose symbols satisfy the differential inequality with a mixture of homogeneities. On the other hand, by taking singular integral realization, it can be equivalently defined by kernels…
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie…
In this paper, we develop a semi-classical analysis on H-type groups. We define semi-classical pseudodifferential operators, prove the boundedness of their action on square integrable functions and develop a symbolic calculus. Then, we…
We analyse a class of quantum field theory models illustrating some of the possibilities that have emerged in the general study of the short distance properties of superselection sectors, performed in a previous paper (together with R.…
It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each…