Related papers: Quantifier elimination in II$_1$ factors

Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…

In this paper we are interested in examples of locally compact quantum groups $(M,\Delta)$ such that both von Neumann algebras, $M$ and the dual $\hat{M}$, are factors. There is a lot of known examples such that $(M,\hat{M})$ are…

We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existential quantifiers with modalities syntactically and…

In the present paper we prove that every 2-local derivation on a von Neumann algebra of type I is a derivation.

Quantifier elimination theorems show that each formula in a certain theory is equivalent to a formula of a specific form -- usually a quantifier-free one, sometimes in an extended language. Model theoretic embedding tests are a frequently…

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…

A heretofore longstanding open question of Kaplansky was, "Is every Type II_1 AW*-factor a von Neumann algebra?" In this paper, we answer this question in the affirmative. As a consequence, we establish that every 2-quasitrace on a unital…

Guionnet et al. gave a construction of a II_1 factor associated to a subfactor planar algebra. In this paper we define an unshaded planar algebra. To any unshaded planar algebra P we associate a finite von Neumann algebra M_P. We prove that…

Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result.…

We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a formula F*(Y) such that F* & exists(X)[G] is logically…

We show that the continuous core of any type III free product factor has no Cartan subalgebra. This is a complement to previous works due to Houdayer--Ricard and Boutonnet--Houdayer--Raum.

One of the earliest invariants introduced in the study of finite von Neumann algebras is the property Gamma of Murray and von Neumann. In this note we prove that it is not possible to classify separable $\rm{II}_1$ factors satisfying the…

We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification…

In recent years, G\"odel's ontological proof and variations of it were formalized and analyzed with automated tools in various ways. We supplement these analyses with a modeling in an automated environment based on first-order logic…

We give a complete answer to the questions of factoriality, type classification and fullness for arbitrary free product von Neumann algebras.

It is shown that the *-algebra of all (closed densely defined linear) operators affiliated with a finite type I von Neumann algebra admits a unique center-valued trace, which turns out to be, in a sense, normal. It is also demonstrated that…

We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real…

We show that for each (0<\lambda <1), the free Araki-Woods factor of type III(_{\lambda}) cannot be written as a tensor product of two diffuse von Neumann algebras (i.e., is prime), and does not contain a Cartan subalgebra.

We show that a free product of a II_1-factor and a finite von Neumann algebra with amalgamation over a finite dimensional subalgebra is always a II_1-factor, and provide an algorithm for describing it in terms of free products (with…

This paper has been withdrawn by the author(s). The material contained in the paper will be published in a subtantially reorganized form, part of it is now included in math.QA/0510174