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 91̽»¨ (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.
