Timetable
Material
Preminary lecture notes (29.4)
Other
Tasks
Exercise 1. To find out what the exercise is, use always the latest version of the lecture notes.
Exercise 2
Exercise 3
Exercise 4
Exercise 5
Exercise 6
Exercise 7
Exercise 8
Exercise 9
Exercise 10
Exercise 11
Exercise 12
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.
Routine in mathematics
Master studies
In the course we learn the basic tecniques of the early model theory
Recommended time/stage of studies for completion: 1. or 2. year
Term/teaching period when the course will be offered: varying
Ultraproducts, elimination of quantifiers, saturation, atomicity, Ehrenfeucht-Fraisse game
Lecture notes
Lectures and exercise classes
Exam and excercises, Course will be graded with grades 1-5
Exam, other methods will be described later