Omitting types and AF algebras

Abstract

We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.

The present version includes an additional section with the relevant model-theoretic background

References in corpus (1)

• Model theory of operator algebras II: Model theory

Cited by in corpus (1)

• Nonseparable UHF algebras II: Classification