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 \ (L 䃑\) -equivalence, they may not be under \ (L \), and discusses associated categorical and stability conjectures analogous to Morley’s theorem.
Walid Gomaa (Fri,) studied this question.