Categoricity of abstract classes with amalgamation

Abstract

Let K be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS(K). We prove that for a suitable Hanf number chi_0 if chi_0 < lambda_0 <= lambda_1, and K is categorical in lambda^+_1 then it is categorical in lambda_0 .

Cited by in corpus (3)

• Excellent Abstract Elementary Classes are tame
• Uniqueness of Limit Models in Classes with Amalgamation
• Transferring Symmetry