TY - RPRT TI - Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras AU - Christopher J. Eagle AU - Todd Schmid PY - 2019 UR - https://arxiv.org/abs/1905.12153 ID - 1905.12153 ER -