Categoricity in abstract elementary classes: going up inductive step
  We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}). 
Saharon Shelah