Omitting types and AF algebras

Abstract

We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.

Authors

Carlson K; Cheung E; Farah I; Gerhardt-Bourke A; Hart B; Mezuman L; Sequeira N; Sherman A

Journal

Archive for Mathematical Logic, Vol. 53, No. 1-2, pp. 157–169

Publisher

Springer Nature

Publication Date

February 1, 2014

DOI

10.1007/s00153-013-0360-9

ISSN

0933-5846

Associated Experts

Bradd Hart

Professor, Faculty of Science

Visit profile

Labels

Fields of Research (FoR)

4902 Mathematical Physics 4904 Pure mathematics 49 Mathematical Sciences

View published work (Non-McMaster Users)

View published work (McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback