Quantifier Elimination in $\mathrm{C}^*$-Algebras
Eagle, Christopher James, Farah, Ilijas, Kirchberg, Eberhard, Vignati, AlessandroLanguage:
english
Journal:
International Mathematics Research Notices
DOI:
10.1093/imrn/rnw236
Date:
December, 2016
File:
PDF, 227 KB
english, 2016