Some model-theoretic correspondences between dimension groups and AF algebras

Annals of Pure and Applied Logic 162 (9):755-785 (2011)
  Copy   BIBTEX

Abstract

If are structures for a first-order language , is said to be algebraically closed in just in case every positive existential -sentence true in is true in . In 1976 Elliott showed that unital AF 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 closed in another just in case the corresponding AF algebras, viewed as metric structures, fall in the same relation

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Algebraically closed structures in positive logic.Mohammed Belkasmi - 2020 - Annals of Pure and Applied Logic 171 (9):102822.
Generalized halfspaces in dimension groups.Philip Scowcroft - 2008 - Annals of Pure and Applied Logic 154 (1):8-26.
AF-algebras with lattice-ordered K0: Logic and computation.Daniele Mundici - 2023 - Annals of Pure and Applied Logic 174 (1):103182.
Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.
Existentially Closed Closure Algebras.Philip Scowcroft - 2020 - Notre Dame Journal of Formal Logic 61 (4):623-661.

Analytics

Added to PP
2013-10-27

Downloads
28 (#808,576)

6 months
9 (#511,775)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

l -Groups C in continuous logic.Philip Scowcroft - 2018 - Archive for Mathematical Logic 57 (3-4):239-272.
AF-algebras with lattice-ordered K0: Logic and computation.Daniele Mundici - 2023 - Annals of Pure and Applied Logic 174 (1):103182.
More on Generic Dimension Groups.Philip Scowcroft - 2015 - Notre Dame Journal of Formal Logic 56 (4):511-553.

Add more citations

References found in this work

Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Existential equivalence of ordered abelian groups with parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
Generalized halfspaces in dimension groups.Philip Scowcroft - 2008 - Annals of Pure and Applied Logic 154 (1):8-26.

Add more references