Quantifier elimination in C*-algebras

DC Field	Value	Language
dc.contributor.author	Eagle, Christopher James	en
dc.contributor.author	Farah, Ilijas	en
dc.contributor.author	Kirchberg, Eberhard	en
dc.contributor.author	Vignati, Alessandro	en
dc.date.accessioned	2020-04-27T10:33:37Z	-
dc.date.available	2020-04-27T10:33:37Z	-
dc.date.issued	2017-12-01	en
dc.identifier.issn	1073-7928	en
dc.identifier.uri	http://researchrepository.mi.sanu.ac.rs/handle/123456789/755	-
dc.description.abstract	The only unital C∗-algebras that admit elimination of quantifiers in continuous logic in the language of unital C∗-algebras are C, C2, C(Cantor space) and M2(C). We also prove that the theory of C∗-algebras does not have model companion and show that the theory of Mn(On+1) is not ∀∃-axiomatizable for any n ≥ 2.	en
dc.publisher	Oxford University Press	-
dc.relation.ispartof	International Mathematics Research Notices	en
dc.title	Quantifier elimination in C*-algebras	en
dc.type	Article	en
dc.identifier.doi	10.1093/imrn/rnw236	en
dc.identifier.scopus	2-s2.0-85053666306	en
dc.relation.firstpage	7580	en
dc.relation.lastpage	7606	en
dc.relation.issue	24	en
dc.relation.volume	2017	en
dc.description.rank	M21	-
item.openairecristype	http://purl.org/coar/resource_type/c_18cf	-
item.openairetype	Article	-
item.cerifentitytype	Publications	-
item.fulltext	No Fulltext	-
item.grantfulltext	none	-
crisitem.author.orcid	0000-0001-7703-6931	-

8

checked on Nov 24, 2024

18

checked on Nov 24, 2024

Check