### Messages

### Timetable

### Material

There will be a set of slides that will be available online. In addition the blackboard is used for detailed arguments.

## Other

### Description

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.

Set theory, model theory

Master studies

Basic knowledge of the set theory of strong logics

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

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

Strong logics, completeness theorems

Lecture notes

Lectures

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

Exam, other methods will be described later