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

DOI

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

Cité par Sources :