Related papers: Algebraic results on universal quantifiers in mono…

UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete…

We prove the existence of a nontrivial uniform algebra that is logmodular and regular on the Cantor set. As a consequence, we obtain that for every compact metrizable space X without isolated points there exists a nontrivial essential…

In this paper, the complete algebraic structure of finite semisimple group algebra of a normally monomial group is described. The main result is illustrated by computing the explicit Wedderburn decomposition of finite semisimple group…

This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying certain sub-formulas along paths. By selecting the combinations…

We define united KK-theory for real C*-algebras A and B such that A is separable and B is sigma-unital, extending united K-theory in the sense that KK\crt(\R, B) = K\crt(B). United KK-theory contains real, complex, and self-conjugate…

Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…

We use the theory of $\textbf{U}_q$-tilting modules to construct cellular bases for centralizer algebras. Our methods are quite general and work for any quantum group $\textbf{U}_q$ attached to a Cartan matrix and include the non-semisimple…

We provide some background on the category of classifiable $\mathrm{C}^*$-algebras, whose objects are infinite-dimensional, simple, separable, unital $\mathrm{C}^*$-algebras that have finite nuclear dimension and satisfy the universal…

This paper concerns the study of Leibniz algebras, a natural generalization of Lie algebras, from the perspective of centralizers of elements. We study conditions on Leibniz algebras under which centralizers of all elements are ideals. We…

Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differential modality; when they do not, we have merely a monoidal…

We study modal team logic MTL, the team-semantical extension of modal logic ML closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood. However, due to the unrestricted…

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where…

Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expressions of BTL and CA (and then BTA) are presented. The…

Let $E$ be a complete uniform topological algebra with Arens-Michael normed factors $\left(E_{\alpha}\right)_{\alpha\in\Lambda}.$ Then $M\left(E\right) \cong \varprojlim M\left(E_{\alpha}\right)$ within an algebra isomorphism $\varphi$. If…

This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of…

We define a class of associative algebras generalizing 'clannish algebras', as introduced by the second author, but also incorporating semilinear structure, like a skew polynomial ring. Clannish algebras generalize the well known 'string…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We introduce tabular algebras, which are simultaneous generalizations of cellular algebras (in the sense of Graham-Lehrer) and table algebras (in the sense of Arad-Blau). We show that if a tabular algebra is equipped with a certain kind of…

We construct a vertex representation for the quantum toroidal algebra through the quantum general linear algebra. Using a new realization of the quantum general linear algebra we construct vertex operators for root vectors on the basic…

We study Lusztig's t-analog of weight multiplicities associated to level one representations of twisted affine Kac-Moody algebras. An explicit closed form expression is obtained for the corresponding t-string function using constant term…