Elementary embeddings, quantifier elimination, types, saturated and prime models, indiscernibles, Morley's Categoricity Theorem. Course Information: Same as PHIL 567. Prerequisite(s): MATH 502 or PHIL 562.