Related papers: Continuous model theories for von Neumann algebras

Recently Blecher and Kashyap have generalized the notion of W* modules over von Neumann algebras to the setting where the operator algebras are \sigma- weakly closed algebras of operators on a Hilbert space. They call these modules weak*…

A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann…

We establish rigidity theorems for graph product von Neumann algebras $M_\Gamma=*_{v,\Gamma}M_v$ associated to finite simple graphs $\Gamma$ and families of tracial von Neumann algebras $(M_v)_{v\in\Gamma}$. We consider the following three…

Let $A$ be a $C^*$-algebra. We say that $A$ satisfies the SP if every bounded homomorphism $A\to B(K)$, with $K$ a Hilbert space, is similar to a $*$-homomorphism. We introduce three hypotheses that relate to extending hyperreflexive…

We study the class of selfless C*-probability spaces introduced by Robert. It is known that a selfless tracial algebra has strict comparison and a unique trace. We prove that for separable tracial C*-algebras, selflessness is equivalent to…

The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such…

We show that a QWEP von Neumann algebra has the weak* positive approximation property if and only if it is seemingly injective in the following sense: there is a factorization of the identity of $M$ $$Id_M=vu: M{\buildrel…

In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form $\forall x_0 \exists x_1 \dots \exists x_n \bigwedge x_i R_\lambda x_j$. We prove that many properties of these logics, such…

Let $\mathcal{V}$ be a congruence permutable variety generated by a finite nilpotent algebra $\mathbf{A}$. If $\mathbf{A}$ is a product of algebras of prime power order, then the class $\mathcal{V}_\text{si}$ of subdirectly irreducible…

This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many…

This is a continuation of our previous paper studying the structure of Cartan subalgebras of von Neumann factors of type II_1. We provide more examples of II_1 factors having either zero, one or several Cartan subalgebras. We also prove a…

We study infinite-dimensional analogues of nilpotent and solvable Lie algebras, focusing on the classes of pro-nilpotent, residually nilpotent, pro-solvable and residually solvable Lie algebras. We extend classical triangularization results…

We examine the ranks of operators in semi-finite C*-algebras as measured by their densely defined lower semicontinuous traces. We first prove that a unital simple C*-algebra whose extreme tracial boundary is nonempty and finite contains…

Let $A$ be a separable, unital and exact $C^*$-algebra satisfying the universal coefficient theorem. We prove uniqueness theorems up to unitary conjugacy for unital, full and nuclear maps from $A$ into ultraproducts of finite von Neumann…

The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou…

In this paper, we initiate the study of endomorphisms and modular theory of the graph C*-algebras $\O_{\theta}$of a 2-graph $\Fth$ on a single vertex. We prove that there is a semigroup isomorphism between unital endomorphisms of…

These notes provide an explanation of the type classification of von Neumann algebras, which has made many appearances in recent work on entanglement in quantum field theory and quantum gravity. The goal is to bridge a gap in the literature…

A trace on a C*-algebra is amenable (resp. quasidiagonal) if it admits a net of completely positive, contractive maps into matrix algebras which approximately preserve the trace and are approximately multiplicative in the 2-norm (resp.…

We will investigate the intersection of the normal operators with the closure of the nilpotent and quasinilpotent operators in various C*-algebras. A complete characterization will be given for type I and type III von Neumann algebras with…

In the given article infinite order decompositions of C$^*$-algebras are investigated. We give complete proofs of the following statements: 1) If the order unit space $\sum_{\xi,\eta}^\oplus p_\xi Ap_\eta$ is monotone complete in $B(H)$…