The undecidability of having the QWEP

MaRDI QIDQ6399162zbMATH OpenFDO

Authors Jananan Arulseelan, Isaac Goldbring, Bradd Hart

Publication date 14 May 2022

Abstract: We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more general result, namely that the hyperfinite III${}_1$ factor does not have a computable universal theory in the language of W*-probability spaces. We also prove that the Powers' factors $mathcal{R}_{l}ambda$, for $0<lambda<1$, when equipped with their canonical Powers' states, do not have computable universal theory.

This page was built for publication: The undecidability of having the QWEP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399162)