Model Theory

Prerequisites & course information

Languages, structures, compactness and completeness. Model-theoretic constructions. Omitting types theorems. Morley's theorem. Ranks, forking. Model completeness. O-minimality. Applications to algebra.