Are there workable conditions that imply that K0(A) is finitely generated, for a noncommutative unital C*álgebra A. My actual question is in fact much more specific than this:

Is it possible to givesimpler proof that K0(Cuntz algebra) is finitely generated, without going through Cuntz' proof that K0(On) is Z_{n-1}?