Omitting types and AF algebras

Carlson, Kevin; Cheung, Enoch; Farah, Ilijas; Gerhardt-Bourke, Alexander; Hart, Bradd; Mezuman, Leanne; Sequeira, Nigel; Sherman, Alexander

Omitting types and AF algebras

journal contribution

posted on 2024-11-15, 07:05 authored by Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman

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.

History

Citation

Carlson, K., Cheung, E., Farah, I., Gerhardt-Bourke, A., Hart, B., Mezuman, L., Sequeira, N. & Sherman, A. (2014). Omitting types and AF algebras. Archive for Mathematical Logic, 53 (1-2), 157-169.

Journal title

Archive for Mathematical Logic

Volume

53

Issue

1/02/2024

Pagination

157-169

Publisher website/DOI

https://doi.org/10.1007/s00153-013-0360-9

Language

English

RIS ID

87401

Usage metrics

Keywords

algebras af omitting types

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC

Omitting types and AF algebras

History

Citation

Journal title

Volume

Issue

Pagination

Publisher website/DOI

Language

RIS ID

Usage metrics

Categories

Keywords

Licence

Exports