# Model theory of operator algebras I: stability

@article{Farah2013ModelTO, title={Model theory of operator algebras I: stability}, author={Ilijas Farah and Bradd Hart and David Sherman}, journal={Bulletin of the London Mathematical Society}, year={2013}, volume={45} }

Several authors have considered whether the ultrapower and the relative commutant of a C*‐algebra or II1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge–Hadwin and the first author.

## 104 Citations

### FORKING AND STABILITY IN THE REPRESENTATIONS OF A C*-ALGEBRA

- MathematicsThe Journal of Symbolic Logic
- 2015

It is shown that the theory of a nondegenerate representation of a C*-algebra over a Hilbert space H is superstable and forking, orthogonality and domination of types are characterized.

### II1 FACTORS WITH EXOTIC CENTRAL SEQUENCE ALGEBRAS

- MathematicsJournal of the Institute of Mathematics of Jussieu
- 2019

Abstract We provide a class of separable II1 factors $M$ whose central sequence algebra is not the ‘tail’ algebra associated with any decreasing sequence of von Neumann subalgebras of $M$ . This…

### Logic for metric structures and the number of universal sofic and hyperlinear groups

- Mathematics
- 2014

Using the model theory of metric structures, I give an alternative proof of the following result by Thomas: If the Continuum Hypothesis fails then there are 22 א0 universal sofic groups up to…

### SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C*-ALGEBRAS

- Mathematics
- 2014

Basics of Elliott’s classification program are outlined and juxtaposed with the abstract classification theory from descriptive set theory. Some preliminary estimates on the complexity of the…

### The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion

- Mathematics, EconomicsThe Journal of Symbolic Logic
- 2013

It is shown that the theory of tracial von Neumann algebras does not have a model companion, and how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II1 factors.

### On the commutant of $B(H)$ in its ultrapower

- Mathematics
- 2021

Let B(H) be the algebra of bounded linear operators on a separable infinitedimesional Hilbert space H . We study the commutant of B(H) in its ultrapower. We characterize the class of non-principal…

### Model theory of operator algebras III: elementary equivalence and II1 factors

- Mathematics
- 2014

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II1 factors and their ultrapowers. Among other things, we show that for any II1 factor M ,…

### AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS

- MathematicsThe Bulletin of Symbolic Logic
- 2019

An introductory survey to first order logic for metric structures and its applications to C*-algebras is presented.

### II_1 factors with non-isomorphic ultrapowers

- Mathematics
- 2017

We prove that there exist uncountably many separable II1 factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic…

### Between reduced powers and ultrapowers

- MathematicsJournal of the European Mathematical Society
- 2022

. We prove that, consistently with ZFC, no ultraproduct of countably inﬁnite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric)…

## References

SHOWING 1-10 OF 53 REFERENCES

### Model theory of operator algebras II: model theory

- Mathematics
- 2010

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the…

### The commutant of L(H) in its ultrapower may or may not be trivial

- Mathematics
- 2008

Kirchberg asked in 2004 whether the commutant of L(H) in its (norm) ultrapower is trivial. Assuming the Continuum Hypothesis, we prove that the answer depends on the choice of the ultrafilter.

### Ultraproducts of C*-algebras

- Mathematics
- 2001

We initiate a general study of ultraproducts of C*-algebras, including topics on representations, homomorphisms, isomorphisms, positive linear maps and their ultraproducts. We partially settle a…

### On ultraproducts of operator algebras

- Mathematics
- 2005

Some basic questions on ultraproducts of C * -algebras and von Neumann algebras, including the relation to K -theory of C * -algebras are considered. More specifically, we prove that under certain…

### A Dichotomy for the number of Ultrapowers

- MathematicsJ. Math. Log.
- 2010

It is shown that the C*-algebra B(H) always has nonisomorphic relative commutants in its ultrapowers associated with nonprincipal ultrafilters on N, and the analogous result for metric structures is proved.

### STABLE BANACH SPACES AND BANACH SPACE STRUCTURES, II: FORKING AND COMPACT TOPOLOGIES

- Mathematics
- 1998

We study model theoretical stability for structures from functional analysis. We prove a functional-analytic version of the Finite Equivalence Relation Theorem. We also the Stability Spectrum Theorem…

### CONTINUOUS FIRST ORDER LOGIC AND LOCAL STABILITY

- Philosophy
- 2010

We develop continuous first order logic, a variant of the logic described by Chang and Keisler (1966). We show that this logic has the same power of expression as the framework of open Hausdorff…

### ALL AUTOMORPHISMS OF THE CALKIN ALGEBRA ARE INNER

- Mathematics
- 2007

We prove that it is relatively consistent with the usual ax- ioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips{Weaver construction of an outer…