Optional course.

Master's Programme in Mathematics and Statistics is responsible for the course.

The course belongs to the Mathematics and Applied mathematics module.

The course is available to students from other degree programmes.

Model theory of arithmetic including arithmetized completeness and Scott's Theorem, saturated models

Recommended time/stage of studies for completion: 1. or 2. year

Term/teaching period when the course will be offered: varying

Basic theory of models of arithmetic including the arithmetized completeness theorem; Scott sets

Exam and excercises, Course will be graded with grades 1-5

Exam, other methods will be described later