Omitting types and AF algebras
Logic
2012-12-27 v2 Operator Algebras
Abstract
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.
Keywords
Cite
@article{arxiv.1212.3576,
title = {Omitting types and AF algebras},
author = {Kevin Carlson and Enoch Cheung and Ilijas Farah and Alexander Gerhardt-Bourke and Bradd Hart and Leanne Mezuman and Nigel Sequeira and Alexander Sherman},
journal= {arXiv preprint arXiv:1212.3576},
year = {2012}
}
Comments
The present version includes an additional section with the relevant model-theoretic background