Model theory

Utbildningsfakta

Kod: LOG211

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.

Behörighet

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.

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Model theory

  University of Gothenburg

  GÖTEBORG

  Startdatum: 30 mars 2027

  Slutdatum: 6 juni 2027

  Studietakt: 50 %