Model Theory

03C concerns model theory, the branch of mathematical logic that investigates formal languages, structures that interpret them, and the relationships between syntax and semantics. It includes elementary classes, types, saturation, categoricity, and applications to algebra, geometry and computer science.