Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662560 | Annals of Pure and Applied Logic | 2011 | 31 Pages |
Abstract
If A⊆B are structures for a first-order language S, A is said to be algebraically (existentially) closed in B just in case every positive existential (existential) SA-sentence true in BA is true in AA. In 1976 Elliott showed that unital AF (‘approximately finite-dimensional’) algebras are classified up to isomorphism by corresponding dimension groups with order unit. This paper shows that one dimension group with order unit is algebraically (existentially) closed in another just in case the corresponding AF algebras, viewed as metric structures, fall in the same relation.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic