Categoricity of theories in Lκ*,ω, when κ* is a measurable cardinal. Part 2

Abstract

We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in Lκ*,ω is μ-categorical for every μ ≤ λ which is above the (2LS(T))+-beth cardinal.