Simple real rank zero algebras with locally Hausdorff spectrum

Let be a unital, simple, separable -algebra with real rank zero, stable rank one, and weakly unperforated ordered group. Suppose, also, that can be locally approximated by type I algebras with Hausdorff spectrum and bounded irreducible representations (the bound being dependent on the local approximating algebra). Then is tracially approximately finite dimensional (i.e., has tracial rank zero).

Hence, is an -algebra with bounded dimension growth and is determined by -theoretic invariants.

The above result also gives the first proof for the locally case.