Introduction to classification theory, spring 2015

Lecturer

Tapani Hyttinen

Scope

10 sp.

Type

Advanced studies

Prerequisites

 Basic knowledge on the first-order logic e.g. the first half of the course Matemaattinen logiikka and on cardinals and ordinals e.g. the course Elements of set theory. The first three sections of these notes of a course on model theory cover the prerequisites.

Lectures

Weeks 3-9 and 11-18, Monday 14-16 and Friday 12-14 in room B321. Two hours of exercise classes per week.

Easter Holiday 2.-8.4.

Exams

 20.5 at 12 in A111 or B123: Sections 1-5, 7-11 and B of the notes

Bibliography

Notes of the course can can be found here. 

Registration

 Did you forget to register?  What to do?

Exercises

 First exercise class is on Friday  23.1.

Exercise 1

Exercise 2

Exercise 3

Exercise 4

Exercise 5

Exercise 6

Exercise 7

Exercise 8

Exercise 9

Exercise 10

Exercise 11