Toward categoricity for classes with no maximal models (Q1302297)

The authors study the categoricity spectrum of abstract elementary classes in the absence of the assumption that the class has the amalgamation property but assuming the nonexistence of maximal models of given bounded size. They investgate the extent to which amalgamation can be recovered under this assumption and they prove the existence of models which are saturated in some sense (in their context the notion of type is defined, not in terms of formulas, but in terms of ``elementary'' maps). The introduction and remarks elsewhere in the paper helpfully describe the context of this work.