Skip to end of metadata
Go to start of metadata

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)
  • Joukko-opin alkeet / Elements of set theory (10 cr) (luennoidaan joka toinen vuosi/taught every second year)

Advanced courses

  • Mathematical logic (10 cr, core course of the logic course package, taught every spring)
  • Courses taught every third year (if possible)
    • Axiomatic set theory (10 cr)
    • Model theory (10 cr)
    • Recursion theory (10 cr)
    • Finite model theory (10 cr)
    • Dependence logic (10 cr)
  • Courses taught more seldom
    • Classification theory (10 cr)
    • Non-elmentary 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)
    • Complexity theory (10 cr)
    • Introduction to continuous logic (5 cr)

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.

Teaching schedule (past and present)

Spring 2018

  • Axiomatic set theory
  • History of logic
  • Mathematical logic
  • Models of arithmetic

Fall 2017

Spring 2017

Fall 2016

Spring 2016

Fall 2015

Spring 2015

Fall 2014

Spring 2014

Fall 2013

Spring 2013

Fall 2012

Spring 2012

Fall 2011

Spring 2011

Fall 2010

Spring 2010

Fall 2009

Past courses

  • No labels