After successful completion of the course, students are able to deal with and solve complex problems of the model theory. The model theory is one of the fundamental fields in mathematical logic and deals with the relationship between logical theories and the structures that satisfy these theories.
An Introduction to Model Theory, which deals with properties of all those structures that fulfill a certain logical theory. An exercise course with the same title accompanies this lecture course.
Lecture.
Literature: W.Hodges, "Model theory"
Oral exam.
Not necessary
Basic knowledge of mathematical logic.