Mathematical logic
Director of the specialization: Juha Kontinen

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.

Schedule and instructions of mathematical logic studies
 

Dir­ect­or of the spe­cial­iz­a­tion

Juha Kontinen

Per­sons re­spons­ible for dis­cuss­ing the study plans

Juliette Kennedy

Gen­eral In­struc­tions and aims of the stud­ies

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.   

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 (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

List of lo­gic 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)