The Karp complexity of unstable classes

A class K of structures is controlled if, for all cardinals lambda, the rel ation of L-infinity.lambda-, equivalence partitions K into a set of equival ence classes (as opposed to a proper class). We prove that the class of dou bly transitive linear orders is controlled, while any pseudo-elementary cla ss with the omega -independence property is not controlled.