Construction of models, compactness, Lowenheim-Skolem theorems, unions of elementary chains, omitting types; categoricity; saturation; model completeness, quantifier elimination; ultraproducts; definability.
Prereq: 5051 (649) or permission of department. Not open to students with credit for 747.