Categoricity and infinitary logics

We point out a gap in Shelah's proof of the following result: \mathbf{Claim} Let K be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal \lambda such that whenever M, N \in K have size at least \lambda, M \le N if and only if... Show more