1. Definable second order quantifiers;Baldwin,1985
2. Second-order quantifiers and the complexity of theories;Baldwin,1985
3. G. Cherlin and E. Hrushovski, Quasi-finite ℵ0-categorical, preprint.
4. E. Hrushovski, Paralel to finite rank.
5. PAC structures;Hrushovski,1990