Related papers: Continuous model theories for von Neumann algebras

We prove, among other results, that three standard measures of weak non-compactness coincide in preduals of JBW$^*$-triples. This result is new even for preduals of von Neumann algebras. We further provide a characterization of…

In this paper we consider we study various classical operator ideals (for instance, the ideals of strictly (co)singular, weakly compact, Dunford-Pettis operators) either on $C^*$-algebras, or preduals of von Neumann algebras.

We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.

In the current paper, we generalize the "compact operator" part of the Voiculescu's non-commutative Weyl-von Neumann theorem on approximate equivalence of unital $*$-homomorphisms of an commutative C$^*$ algebra $\mathcal{A}$ into a…

We study the notions of nuclearity and exactness for module maps on $C^{*}$-algebras which are $C^*$-module over another $C^*$-algebra with compatible actions and examine finite approximation properties of such $C^*$-modules. We prove…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

We introduce the notion of proper proximality for finite von Neumann algebras, which naturally extends the notion of proper proximality for groups. Apart from the group von Neumann algebras of properly proximal groups, we provide a number…

Reduced HNN extensions of von Neumann algebras (as well as $C^*$-algebras) will be introduced, and their modular theory, factoriality and ultraproducts will be discussed. In several concrete settings, detailed analysis on them will be also…

We investigate possible preduals of the measure algebra $M(G)$ of a locally compact group and the Fourier algebra $A(G)$ of a separable compact group. Both of these algebras are canonically dual spaces and the canonical preduals make the…

We present an axiomatic frame (in Prt I of this book) in which many results of the K-theory for C*-algebras are proved. Then we construct an example for this axiomatic theory (in Part II), which generalizes the classical theory for…

With every locally compact group $G$, one can associate several interesting bi-invariant subspaces $X(G)$ of the weakly almost periodic functions $\mathrm{WAP}(G)$ on $G$, each of which captures parts of the representation theory of $G$.…

The operator space analogue of the {\em strong form} of the principle of local reflexivity is shown to hold for any von Neumann algebra predual, and thus for any $C^{*}$-algebraic dual. This is in striking contrast to the situation for…

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions…

We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…

We study (von Neumann) regular $^*$-subalgebras of $B(H)$, which we call R$^*$-algebras. The class of R$^*$-algebras coincides with that of "E$^*$-algebras that are pre-C$^*$-algebras" in the sense of Z. Sz\H{u}cs and B. Tak\'acs. We give…

This expository paper treats the model theory of probability spaces using the framework of continuous $[0,1]$-valued first order logic. The metric structures discussed, which we call probability algebras, are obtained from probability…

Based on the analysis on the Ocneanu/Groh-Raynaud ultraproducts and the Effros-Mar\'echal topology on the space vN(H) of von Neumann algebras acting on a separable Hilbert space H, we show that for a von Neumann algebra M in vN(H), the…

We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II$_1$ factor $\mathcal R$, $L(\Gamma)$ for $\Gamma$ a finitely generated group with solvable word problem, $C^*(\Gamma)$ for $\Gamma$ a finitely…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…