LOG211: Model theory, 7.5 credits, Fall 2024

This course is both part of the Master's Programme in Logic as well as available as a free standing course. 

Model theory is the study of first-order structures on the basis of the relationship with logical languages. Questions that are studied concern, among other things, the expressive power of logical languages in terms of the ability to classify structures, and what sort of models can be constructed. The course covers basic concepts and results in model theory, and also let the student specialise in a well delimited field of model theory.

This course is divided into two sub-courses:

1. The basics of model theory, 4.5 credits. The sub-course treats basic and key concepts and results in model theory, including: definability, homomorphisms, elementary extensions, compactness and categoricity.
2. Specialisation within model theory, 3 credits. The sub-course entails an in-depth study in an area of model theory or an application of a model-theoretic method in a neighboring area. The in-depth subject must be chosen in consultation with the course coordinator.

Teachers

The course will be taught by Ivan Di Liberti. You can contact Ivan by email, diliberti.math@gmail.com.

Examiner

Fredrik Engström

Register for the course

You will be able to register for the course one week before it starts. When you have registered for the course you will get access to more course information.

You can find information regarding registration here.

Literature

The course will mostly follow the book Model Theory by Manzano. Other texts are also solid recommendations, including 

• Sets, Models and Proofs by Moerdijk and van Oosten.

• Mathematical Logic and Model Theory by Delzell and Prestel.

• Beginning Mathematical Logic: A Study Guide by Peter Smith.

Schedule

A schedule is available in TimeEdit.  

Examination

The course is examined individually in written form. In addition to a written exam on the first part of the course, the second part of the course is examined through an individual written in-depth work. The written exam will be a closed book sit down exam on the course content.

More information about the structure of the course is available on my website. 

Course evaluation

Course report from the last time the course was given can be found here: Course report LOG211 2022 with Evaluation.pdf 

Learning outcomes

See the course syllabus for more information. 

Special pedagogical support

If you have a disability and are in need of special pedagogical support please see the information available at the student portal. 

Contact information

• Course coordinator Ivan Di Liberti, diliberti.math@gmail.com answers questions about the course content, literature and schedule.
• Education administrator Anja Ehn, Anja.ehn@gu.se answers questions about registration, examination administration, study interruptions, study breaks, certificates, etc. 
• Program Coordinator Rasmus Blanck, rasmus.blanck@gu.se is responsible for programme issues and study guidance for students of the programme.

Student information

Learn Canvas

Checklist for new students

Student Portal

Welcome to the department of Philosophy, Linguistics and Theory of Science

Study Environment and Rules

Plagiarism and academic integrity