### Director of the specialization

Juha Kontinen

### Persons responsible for discussing the study plans

Åsa Hirvonen and Juha Kontinen

### General Instructions and aims of the studies

The studies begin by contacting one of the directors of 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.

### Model study plan

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

**Year 1, autumn**

Topology II, 10 cr

1-2 advanced logic courses: Complexity theory / Dependence logic / Finite model theory

other courses (e.g. Real analysis I)

**Year 1, spring**

Mathematical logic, 10 cr

Algebra II, 10 cr

advanced logic course: Axiomatic set theory / Computability theory (former Recursion theory) / Model theory, 10 cr

**Year 2, autumn**

starting pro gradu work and seminar

Other courses

**Year 2, spring**

Finishing gradu + seminar, 35 cr

Other courses

### List of logic 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/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)

Non-elementary model theory (5cr)

Strong logics (5 cr)