776 - Model Theory
Instructor:
Steffen Lempp
Time and Place:
MWF 9:55-10:45 am
textbooks:
Wilfrid Hodges: A Shorter Model Theory
Course Content:
A first-semester course in classical model theory:, covering definability, quantifier elimination, back-and-forth games, interpreting structures, amalgamation, indiscernibles, omitting types, categoricity and Morley's Theorem