Romance - Document - PDFSEARCH.IO - Document Search Engine

First Page	Meta Content
	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 Document Date: 2015-06-13 12:59:49 Open Document File Size: 388,27 KB Share Result on Facebook

UPDATE

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