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.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
crisitem.author.orcid | 0000-0001-7703-6931 | - |
SCOPUSTM
Citations
8
checked on Sep 8, 2024
Page view(s)
1
checked on Sep 7, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.