Categoricity of theories in L_{kappa^* omega}, when kappa^* is a measurable cardinal. Part II
arXiv:math/9604241
Abstract
We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in L_{kappa^*, omega} is mu-categorical for every mu, mu <= lambda which is above the (2^{LS(T)})^+-beth cardinal.