@misc{indiciae41a75008b88e, title = {Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras}, author = {Christopher J. Eagle and Todd Schmid}, year = {2019}, url = {https://arxiv.org/abs/1905.12153}, note = {Source identifier: 1905.12153} }