Toward categoricity for classes with no maximal models - Saharon Shelah; Andrés Villaveces (1997)