It is a very well known result (I guess attributed originally to Zilber and later extended by Cherlin-Harrington-Lachlan) that every totally categorical theory is pseudofinite.
However, the papers usually go through several technical lemmas to obtain not only this result but also several others.
My question is:
Does anyone know a simplified proof that shows that every totally categorical theory is pseudofinite?