Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras

Christopher J. Eagle, Todd Schmid

Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C…