Lecture notes

Logic lecture notes

Here we gather lecture notes from past and present logic courses. Note that the lecture notes listed here may or may not be the ones used on any present course. Also, the notes may contain typos and other errors.

Johdatus logiikkaan I (Hirvonen 2016)

Johdatus logiikkaan II (Hirvonen 2016)

Mathematical logic

Axiomatic set theory

Classification theory

Geometries and models

Model theory

Non-elementary model theory

Descriptive set theory