Beginning graduate students or advanced undergraduate students
Introducing basic model theory
Mathematical Logic (one semester course)
or you may concurrently take (or audit) undergraduate mathematical logic
course that I teach at the same semeter.
Lecture and presentation
Lecture note will be used.
D. Marker `Model Theory: An Introduction`.
W. Hodges `Model Theory`.
A. Pillay Lecture note `Model Theory` at
Professor of Mathematics at Yonsei University
Review of 1st order logic.
Basic notions in model theory.
prime and saturated models
quatifier elimination and its applications