English
Related papers

Related papers: Semilinear substructural logics with the finite em…

200 papers

In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…

Logic · Mathematics 2026-01-21 Ivo Düntsch , Rafał Gruszczyński , Paula Menchón

We show that semiprojectivity of a C*-algebra is preserved when passing to C*-subalgebras of finite codimension. In particular, any pullback of two semiprojective C*-algebras over a finite-dimensional C*-algebra is again semiprojective.

Operator Algebras · Mathematics 2014-05-13 Dominic Enders

In this paper, Lie super-bialgebra structures on a class of generalized super $W$-algebra $\mathfrak{L}$ are investigated. By proving the first cohomology group of $\mathfrak{L}$ with coefficients in its adjoint tensor module is trivial,…

Rings and Algebras · Mathematics 2017-03-17 Hao Wang , Huanxia Fa , Junbo Li

We generalize Feigin and Miwa's construction of extended vertex operator (super)algebras $A_{k}(sl(2))$ for other types of simple Lie algebras. For all the constructed extended vertex operator (super)algebras, irreducible modules are…

Quantum Algebra · Mathematics 2009-10-31 Haisheng Li

We show that supersymmetric flux vacua with intermediate SU(2) structure is closely related to some special classes of half-flat structures. More concretely, solutions of the SUSY equations IIA possess a symplectic half-flat structure,…

Differential Geometry · Mathematics 2011-03-03 Anna Fino , Luis Ugarte

The tubal tensor framework provides a clean and effective algebraic setting for tensor computations, supporting matrix-mimetic features like Singular Value Decomposition and Eckart-Young-like optimality results. Underlying the tubal tensor…

Numerical Analysis · Mathematics 2025-04-25 Uria Mor , Haim Avron

First, we prove the Kac-Wakimoto conjecture on modular invariance of characters of exceptional affine W-algebras. In fact more generally we prove modular invariance of characters of all lisse W-algebras obtained through Hamiltonian…

Representation Theory · Mathematics 2021-03-01 Tomoyuki Arakawa , Jethro van Ekeren

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

Logic in Computer Science · Computer Science 2015-07-01 Alexander Kurz , Jiri Rosicky

There are several remarks on Hilbert series of finitely presented (f. p.) associative algebras over a field and their modules. First, given an integer $D$, the set of Hilbert series of right-sided ideals with generators and relations of…

Rings and Algebras · Mathematics 2007-05-23 Dmitri Piontkovski

We propose a series of new subalgebras of the $W_{1+\infty}$ algebra parametrized by polynomials $p(w)$, and study their quasifinite representations. We also investigate the relation between such subalgebras and the…

High Energy Physics - Theory · Physics 2009-10-28 H. Awata , M. Fukuma , Y. Matsuo , S. Odake

Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e., set of individuals with common properties. The experience in using DLs in…

Artificial Intelligence · Computer Science 2011-06-06 U. Straccia

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Logic · Mathematics 2018-02-08 Filippo Calderoni , Luca Motto Ros

We use an interpretation of projective planes to show the inherent nondualisability of some finite semigroups. The method is sufficiently flexible to demonstrate the nondualisability of (asymptotically) almost all finite semigroups as well…

Group Theory · Mathematics 2014-06-16 Marcel Jackson

We construct all finite irreducible modules over Lie conformal superalgebras of type W and S.

Mathematical Physics · Physics 2010-05-12 Carina Boyallian , Victor G. Kac , Jose I. Liberati , Alexei Rudakov

The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existentially closed structures). In this paper, we supply for such…

Logic · Mathematics 2020-02-19 Luca Carai , Silvio Ghilardi

We introduce the partial reductions and inverse Hamiltonian reductions between affine $\mathcal{W}$-algebras along the closure relations of associated nilpotent orbits in the case of $\mathfrak{sl}_4$, fulfilling all the missing…

Quantum Algebra · Mathematics 2026-01-28 Justine Fasquel , Zachary Fehily , Ethan Fursman , Shigenori Nakatsuka

A semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry,…

Computational Complexity · Computer Science 2015-06-02 Peter Jonsson , Johan Thapper

We introduce pseudofinite W*-probability spaces. These are W*-probability spaces that are elementarily equivalent to Ocneanu ultraproducts of finite-dimensional von Neumann algebras equipped with arbitrary faithful normal states. We are…

Operator Algebras · Mathematics 2026-02-16 Jananan Arulseelan

Let $(\mathfrak{g},[p])$ be a finite dimensional restricted Lie algebra over a perfect field $\mathbbm{k}$ of characteristic $p\!\ge \!3$. By combining methods from recent work of Benson-Carlson \cite{BC20} with those of \cite{CF21,Fa17} we…

Representation Theory · Mathematics 2023-05-16 Hao Chang , Rolf Farnsteiner

We consider the finite W-superalgebras for a basic classical Lie superalgebra g associated with an even nilpotent element in g both over the field of complex numbers field and and over a filed of positive characteristic. We present the PBW…

Representation Theory · Mathematics 2014-05-13 Yang Zeng , Bin Shu