Model theory

Course
LOG211
Master’s level
7.5 credits (ECTS)
Study pace
50%
Time
Day
Location
Göteborg
Duration
-
Part of semester
Quarter 1 to 2

About

The course starts with detailed proofs of compactness and omitting types for first-order logic. Students is then introduced to a number of central methods, constructions and results with a focus on model completeness, automorphism groups and omega categoricity, ultraproducts, o-minimality, interpretability and back-and-forth equivalence. Quantifier elimination and zero-one laws serve as an introduction to applications of model theory to computer science. The course also deals with Morley's theorem and the basics of stability theory.

This course is open to

Exchange students at the Department of Philosophy, Linguistics and Theory of Science and exchange students on a university-wide agreement. Please contact your international coordinator at the University of Gothenburg if you need to know more.

Application

Do you want to apply for exchange studies at the University of Gothenburg?

Read more on the page Apply for exchange studies