Infinitary Logics and Abstract Elementary Classes

Saharon Shelah, Andrés Villaveces

We prove that every abstract elementary class (a.e.c.) with LST number $\kappa$ and vocabulary $\tau$ of cardinality $\le \kappa$ can be axiomatized in the logic ${\mathbb L}_{\beth_2(κ)^{+++}…