M682 Model Theory (3 cr.) P: M583, M680, and M502; or consent of
instructor. Elementary equivalence, completeness and model-
completeness, interpolation, preservation and characterization
theorems, elementary classes, types, saturated structures,
introduction to categoricity and stability.