QUANTIFIER ELIMINATION IN C*-ALGEBRAS CHRISTOPHER J. EAGLE, ILIJAS FARAH, EBERHARD KIRCHBERG, AND ALESSANDRO VIGNATI Abstract. The only C*-algebras that admit elimination of quantifiers in continuous logic are C, C2 , C(

First Page		Document Content
Date: 2015-06-13 12:59:49		QUANTIFIER ELIMINATION IN C-ALGEBRAS CHRISTOPHER J. EAGLE, ILIJAS FARAH, EBERHARD KIRCHBERG, AND ALESSANDRO VIGNATI Abstract. The only C-algebras that admit elimination of quantifiers in continuous logic are C, C2 , C( Add to Reading List Source URL: www.math.yorku.ca Download Document from Source Website File Size: 388,27 KB Share Document on Facebook