A Survey of Abstract Elementary Classes

Abstract

This presentation offers a concise overview of **Abstract Elementary Classes (AECs)**, a semantic framework developed by Shelah to extend classification theory beyond first-order logic. It introduces the basic axioms of AECs, such as closure under isomorphism and chains, and explains key concepts like Galois types, which are defined model-theoretically rather than syntactically. The survey then explores central themes including tameness—a form of local compactness—and stability theory within tame AECs, highlighting how these properties enable a manageable classification of models. Finally, it examines the relationship between AECs and infinitary logics, noting that while AECs are generally closed under \(\mathcal{L}_{\infty \omega_1}\)-equivalence, they may not be under \(\mathcal{L}_{\infty \omega}\), and discusses associated categorical and stability conjectures analogous to Morley’s theorem.