Related papers: From contact relations to modal operators, and bac…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic…

Every four-dimensional ${\cal N}=2$ superconformal field theory comes equipped with an intricate algebraic invariant, the associated vertex operator algebra. The relationships between this invariant and more conventional protected…

This paper is an exposition of the representation theory of vertex operator algebras in terms of associative algebras A_n(V) and their bimodules. A new result on the rationality is given. That is, a simple vertex operator algebra V is…

We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…

We find connection between relative Rota--Baxter operators and usual Rota--Baxter operators. We prove that any relative Rota--Baxter operator on a group $H$ with respect to $(G, \Psi)$ defines a Rota--Baxter operator on the semi-direct…

I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton's lemma, I demonstrate that the modal language of groups is…

Let $A,B$ and $C$ be adjointable operators on a Hilbert $C^*$-module $\mathscr{E}$. Giving a suitable version of the celebrated Douglas theorem in the context of Hilbert $C^*$-modules, we present the general solution of the equation…

Let $I \subset \mathbb C[z_1,...,z_d]$ be a radical homogeneous ideal, and let $\mathcal A_I$ be the norm-closed non-selfadjoint algebra generated by the compressions of the $d$-shift on Drury-Arveson space $H^2_d$ to the co-invariant…

We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or…

Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive frames we should add the axiom $\square \phi \rightarrow…

Let $A,B\in B(H)$. In the present paper, we establish simple and interesting facts on when we have $|A||B|=|B||A|$, $|AB|=|A||B|$, $|A\pm B|\leq |A|+|B|$, $||A|-|B||\leq |A\pm B|$ and $\||A|-|B|\|\leq \|A\pm B\|$, where $|\cdot|$ denotes…

Representation of convex geometry as an appropriate join of compatible total orderings of the base set can be achieved, when closure operator of convex geometry is algebraic, or finitary. This bears to the finite case proved by P.H.~Edelman…

This paper establishes a uniform procedure to split the operations in any algebraic operad, generalizing previous known notions of splitting algebraic structures from the dendriform algebra of Loday that splits the associative operation to…

We present three examples of \textit{multi-topological} semantics for intuitionistic modal logic with one modal operator $\Box$ (which behaves in some sense like necessity). We show that it is possible to treat neighborhood models,…

Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…

We introduce a numerical radius operator space $(X, \mathcal{W}_n)$. The conditions to be a numerical radius operator space are weaker than the Ruan's axiom for an operator space $(X, \mathcal{O}_n)$. Let $w(\cdot)$ be the numerical radius…

In this paper we study the interaction between logic and probability. In particular, we show that the convex hull of evaluations of a broad class of logics is always effectively axiomatizable. We define a Birkhoff-style calculus for…

A family of random matrices is said to converge strongly to a limiting family of operators if the operator norm of every noncommutative polynomial of the matrices converges to that of the limiting operators. Recent developments surrounding…

The dimension of any module over an algebra of affiliated operators ${\mathcal U}$ of a finite von Neumann algebra ${\mathcal A}$ is defined using a trace on ${\mathcal A}.$ All zero-dimensional ${\mathcal U}$-modules constitute the torsion…