**Director of the specialization**: Juha Kontinen

**Mandatory core course** 10 cr

MAST31201 Mathematical logic (10 cr)

**Specialization courses**, at least 10 cr from this list

MAST31202 Axiomatic set theory (10 cr)

MAST31214 Computability theory (10 cr)

MAST31203 Model theory (10 cr)

MAST30001 **Master´s thesis seminar (5 cr)**

MAST30000 **Master´s thesis (30 cr) (the link includes grading scale and criteria)**

Other advanced courses from the list of core courses, mathematics, applied mathematics, statistics courses and/or courses from other programmes as approved in personal study plans.

Some bachelor's level mathematics courses can be included in the module of 0-35cr other studies as approved in personal study plans.

Juha Kontinen

Juliette Kennedy

The studies begin by contacting one of the persons responsible for the specialization in order to form a personal study plan.

Apart from the required core and specialization courses, the student can choose any advanced courses from all other specializations in mathematics and statistics. It is also possible to include courses from different master’s programs such as physics, machine learning or computer science if they have sufficient mathematical content.

Topics in mathematical logic vary from purely mathematical questions from set theory and model theory to applications of logic in computer science logic and discrete mathematics. The aim of the studies is to obtain professional level in mathematical logic that enables a transition to a multitude of careers in the private and public sector, or a continuation to Ph.D studies.

The courses offered vary from year to year. Information on previous and planned logic teaching can be found at https://wiki.helsinki.fi/display/Logic/Studies (often much before it is available in Sisu).

**Year 1, autumn**

Mathematical logic, 10 cr

1-2 advanced logic courses (e.g. Axiomatic set theory, Dependence logic, Finite model theory)

Other courses (e.g. Algebra II, Topology II, Introduction to Real and Fourier Analysis)

**Year 1, spring**

2-3 advanced logic courses (e.g. Model theory, Computability theory, Complexity theory)

Other courses

**Year 2, autumn**

Starting pro gradu work and seminar

Advanced logic courses and/or other courses

**Year 2, spring**

Finishing gradu + seminar, 35 cr

Advanced logic courses and/or other courses

**Core course**

Mathematical logic (10 cr)**Courses taught every second year (if possible)**

Axiomatic set theory (10 cr)

Complexity theory (10 cr)

Computability theory (former Recursion theory) (10 cr)

Dependence logic (10 cr)

Finite model theory (10 cr)

Model theory (10 cr)**Courses taught more seldom**

Classification theory (10 cr)

Dependence logic II (10 cr)

Descriptive set theory (5 cr)

History of logic (5 cr)

Introduction to continuous logic (5 cr)

Introduction to quantum computation (5 cr)

Large cardinals 1 and 2 (5+5 cr)

Models of arithmetic (10 cr)

Non-elementary model theory (5 cr)

Strong logics (5 cr)

Topics in quantum computation (5 cr)

Topics in set theory (10 cr)