Geodesic
ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
Glasgow mathematical journal, Tome 61 (2019) no. 3, pp. 629-635

Voir la notice de l'article provenant de la source Cambridge University Press

We show that the class of unital C*-algebras is an elementary class in the language of operator systems and that the algebra multiplication is a definable function in this language. Moreover, we prove a general model theoretic fact which implies that the aforementioned class is ∀∃∀-axiomatizable. We conclude by showing that this class is, however, neither ∀∃-axiomatizable nor ∃∀-axiomatizable. 
GOLDBRING, ISAAC; SINCLAIR, THOMAS. ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS. Glasgow mathematical journal, Tome 61 (2019) no. 3, pp. 629-635. doi: 10.1017/S001708951800040X
@article{10_1017_S001708951800040X,
     author = {GOLDBRING, ISAAC and SINCLAIR, THOMAS},
     title = {ON {THE} {AXIOMATIZABILITY} {OF} {C*-ALGEBRAS} {AS} {OPERATOR} {SYSTEMS}},
     journal = {Glasgow mathematical journal},
     pages = {629--635},
     year = {2019},
     volume = {61},
     number = {3},
     doi = {10.1017/S001708951800040X},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S001708951800040X/}
}
TY  - JOUR
AU  - GOLDBRING, ISAAC
AU  - SINCLAIR, THOMAS
TI  - ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
JO  - Glasgow mathematical journal
PY  - 2019
SP  - 629
EP  - 635
VL  - 61
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.1017/S001708951800040X/
DO  - 10.1017/S001708951800040X
ID  - 10_1017_S001708951800040X
ER  - 
%0 Journal Article
%A GOLDBRING, ISAAC
%A SINCLAIR, THOMAS
%T ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
%J Glasgow mathematical journal
%D 2019
%P 629-635
%V 61
%N 3
%U http://geodesic.mathdoc.fr/articles/10.1017/S001708951800040X/
%R 10.1017/S001708951800040X
%F 10_1017_S001708951800040X

[1] Ben, I. Yaacov, A. Berenstein, C. W. Henson and Usvyatsov, A., Model theory for metric structures, in Model theory with applications to algebra and analysis (London Math. Soc. Lecture Note Ser. (350)). 2, (Cambridge Univ. Press, Cambridge, 2008), 315–427. Google Scholar | DOI

[2] Blecher, D. and Neal, M., Metric characterizations II, Illinois J. Math. 57 (2013), 25–41. Google Scholar | DOI

[3] Elliott, G., Farah, I., Paulsen, V., Rosendal, C., Toms, A. and Tornquist, A., The isomorphism relation for separable C*-algebras, Math. Res. Lett. 20 (2013), 1071–1080. Google Scholar | DOI

[4] Farah, I., Hart, B., Lupini, M., Robert, L., Tikuisis, A., Vignati, A. and Winter, W., The model theory of nuclear C* algebras, Mem. Amer. Math. Soc., to appear. Google Scholar

[5] Farah, I., Hart, B. and Sherman, D., Model theory of operator algebras II: Model theory, Israel J. Math. 201 (2014), 477–505. Google Scholar | DOI

[6] Goldbring, I. and Lupini, M., Model theoretic aspects of the Gurarij operator system, Israel J. Math. 226 (1) (2018), 87–118. Google Scholar | DOI

[7] Goldbring, I. and Sinclair, T., On Kirchberg's embedding problem, J. Funct. Anal. 269 (2015), 155–198. Google Scholar | DOI

Cité par Sources :