II_1 factors with non-isomorphic ultrapowers
Abstract
We prove that there exist uncountably many separable II$_1$ factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic II$_1$ factors originally introduced by McDuff \cite{MD69a,MD69b} are such examples. This entails the existence of a continuum of non-elementarily equivalent II$_1$ factors, thus settling a well-known open problem in the continuous model theory of operator algebras.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2015
- DOI:
- 10.48550/arXiv.1507.06340
- arXiv:
- arXiv:1507.06340
- Bibcode:
- 2015arXiv150706340B
- Keywords:
-
- Mathematics - Operator Algebras;
- Mathematics - Logic
- E-Print:
- 16 pages