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