Model theory
Summary
Model Theory is a branch of mathematical logic that studies of first-order structures on the basis of the relationship with logical languages. It addresses fundamental questions such as the expressive power of logical languages in terms of the ability to classify structures, as well as the types of models that can be constructed.
About
This course offers a thorough introduction to the core results and techniques of model theory, covering topics such as definability, homomorphisms, elementary extensions, compactness, and categoricity. Students will also have the opportunity to specialize in a particular area of model theory or study the application of model-theoretic methods in a neighboring area. Specialization topics are selected in consultation with the course coordinator to align with the student’s academic background and interests.
Prerequisites and selection
Entry requirements
For admission to the course the following are required
- at least 7.5 credits of Logical theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), and of,
- Set theory (LOG121),
or the equivalent thereof. In addition, language proficiency equivalent to English 6 is required.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.
Facilities
The Faculty of Humanities is located in the Humanisten building at Renströmsgatan 6. The Department of Philosophy, Linguistics and Theory of Science has its premises on the 5th floor. Both the Faculty of Humanities and the adjacent Humanities Library offer several study areas and group rooms.
More information about facilities
Recommended study route
The course is mainly taught by means of lectures, seminars, workshops and project work (or equivalent).
