Quantifier elimination in C*-algebras

Christopher J. Eagle, Ilijas Farah, Eberhard Kirchberg +1

The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C},{\mathbb{C}}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the the…