# Infinitary stability theory

10 Dec 2014Sebastien Vasey

We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal $\kappa$. We show: $\mathbf{Theorem}$ (The semantic-syntactic correspondence) An AEC $K$ is fully $(<\kappa)$-tame and type short if and only if Galois types are syntactic in the Galois Morleyization... (read more)

PDF Abstract

# Code Add Remove

No code implementations yet. Submit your code now