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.
Credit Hours:
3.0
Textbook
Title:
Model Theory
Edition:
3rd
Publisher:
Dover
ISBN:
9780486488219