Classification of simple tracially AF C*-algebras

We prove that pre-classifiable (see 3.1) simple nuclear tracially AF C*-algebras (TAF) are classified by their R-theory. As a consequence all simple, locally AH and TAF C*-algebras are in fact AH algebras (it is known that there are locally AH algebras that are not AH). We also prove the following Rationalization Theorem. Let A and B be two unital separable nuclear simple TAF C*-algebras with unique normalized traces satisfying the Universal Coefficient Theorem. If A and B have the same (ordered and scaled) K-theory and K-0(A)(+) is locally finitely generated, then A x Q congruent to B x Q, where Q is the UHF-algebra with the rational K-0. Classification results (with restriction on K-0-theory) for the above C*-algebras are also obtained. For example, we show that, if A and B are unital nuclear separable simple TAF C*-algebras with the unique normalized trace satisfying the UCT and with K-1(A) = K-1(B), and A and B have the same rational (scaled ordered) K-0, then A congruent to B. Similar results are also obtained for some cases in which K-0 is non-divisible such as K-0(A) = Z[1/2].