The classification of excellent classes

In [9] and [12], Shelah defined a certain type of Scott sentence which he called excellent. He proved, among other things, that if a Scott sentence is excellent and categorical in some uncountable power then it is categorical in all uncountable powers: the analog of the Morley categoricity theorem. Proving such an analog is often the starting point in the classification of a family of classes. Before beginning this classification in the case of …