Mathematical logic

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

Juha Kontinen

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

Åsa Hirvonen and Juha Kontinen

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

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)