Toward Categoricity for Classes with no Maximal Models

by Shelah and Villaveces. [ShVi:635]
Annals Pure and Applied Logic, 1999
We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its L{o}wenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non mu-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the Los Conjecture for these classes.


Back to the list of publications