TY  - RPRT
TI  - Quantifier elimination in C*-algebras
AU  - Christopher J. Eagle
AU  - Ilijas Farah
AU  - Eberhard Kirchberg
AU  - Alessandro Vignati
PY  - 2016
UR  - https://arxiv.org/abs/1502.00573
ID  - 1502.00573
ER  -