Studies

Logic courses

Below is a list of logic courses and a preliminary plan for how often they are taught.

Aineopintotason kursseja / Bachelor level courses

• Johdatus logiikkaan 1 (5 op) ja Johdatus logiikkaan 2 (5 op) (luennoidaan joka syksy)
  Introduction to logic I & II (online every spring)
• Joukko-opin alkeet / Elements of set theory (10 cr) (luennoidaan joka tai joka toinen vuosi/taught every one to two years)

Advanced courses

• Mathematical logic (10 cr, core course of the logic course package, taught every fall)
• Courses taught every second or third year (if possible)
  • Axiomatic set theory (10 cr)
  • Model theory (10 cr)
  • Recursion theory/Computability theory (10 cr)
  • Finite model theory (10 cr)
  • Dependence logic (10 cr)
  • Complexity theory (10 cr)
• Courses taught more seldom
  • Classification theory (10 cr)
  • Non-elementary model theory (5cr)
  • Descriptive set theory (5 cr)
  • Large cardinals 1 and 2 (5+5 cr)
  • Strong logics (5 cr)
  • History of logic (5 cr)
  • Introduction to continuous logic (5 cr)
  • Introduction to quantum computation (5 cr)
  • Dependence logic II (10 cr)
  • Models of arithmetic (10 cr)
  • Topics in quantum computation (5 cr)
  • Topics in set theory (5 cr)
  • Reaing course in the Hilbert program

For a master's degree in logic you should also include courses from areas outside logic, strongly recommended are Algebra II, Topology II and Real analysis.

There is also logic teaching arranged by the degree programmes in philosophy. For inclusion of these in your degree, discuss with your academic mentor.

Lecture notes

Some lecture notes from past courses can be found here.

Also, all interested are welcome to attend the logic seminar on Wednesdays, where the Helsinki logicians and occasional visitors present their research. Even if you don't understand the details of the talks, the seminar is a good opportunity to see what research looks like in several areas of logic.

Teaching schedule (past and present, and preliminary future plans)