This page is old and not updated anymore. For recent information on teaching in logic see the new page.

Tämä sivu on vanha eikä sitä enää ylläpidetä. Viimeisimmät tiedot logiikan opetuksesta löytyvät uudelta sivulta.

Denna sida är gammal och uppdateras inte mera. Aktuell information om undervisningen i logik finns på den den nya sidan.


Logic Courses


This page exists in Finnish and in English.

Fall term 2004:

  • Mathematical logic (Finnish)
  • University lecturer Tapani Hyttinen
  • mon 14-16 C124, thu 12-14 D123
  • Introduction to generalized quantifiers (English if needed)
  • Professor Jouko Väänänen
  • tue 14-16 B322
  • Forcing
  • Docent Taneli Huuskonen
  • mon 12-14 C123, tue 12-14 C124
  • Model Theory (cont.) (English)
  • Ph.D. Juliette Kennedy
  • wed 10-12 B321
  • Seminars fall term 2004:

  • Logic seminar
  • Docent Tapani Hyttinen and Professor Jouko Väänänen
  • wed 12-14 C124
  • Finite model theory seminar
  • Docent Kerkko Luosto
  • fri 12-14 C123
  • Set theory laboratory
  • Ph.D. Aapo Halko
  • fri 12-14 C123
  • Spring term 2004:

  • Logic I (Finnish)
  • Docent Tapani Hyttinen
  • tue 14-16, thu 12-14, PII
  • Model Theory
  • Ph.D. Juliette Kennedy
  • fri 10-12
  • Recursion Theory (Finnish)
  • Docent Taneli Huuskonen
  • tue 10-12, wed 10-12, SIII
  • On games and models
  • Prof. Jouko Väänänen
  • tue 14-16 SIII, thu 10-12 SI
  • Fall term 2003:

  • Mathematical logic
  • Tapani Hyttinen
  • mon 14-16 SIII, thu 12-14 SI
  • Elements of set theory
  • Juliette Kennedy
  • mon 12-14, thu 12-14, P722
  • Advanced set theory
  • Taneli Huuskonen
  • mon 10-12, tue 10-12, SII
  • Infinitary logic
  • Jouko Väänänen
  • tue 14-16, thu 14-16, SIII
  • Fall term 2003 seminars:

  • Logic Seminar
  • Prof. Väänänen
  • Research seminar in Finite model theory
  • doc Kerkko Luosto
  • Set theoretic laboratory
  • Ph.D. Aapo Halko
  • Spring term 2003:

  • Logic I (Finnish)
  • Docent T. Hyttinen
  • to 12-14 PII, pe 12-14 PII
  • Axiomatic set theory
  • Docent T. Huuskonen
  • mon 12-14 P722, wed 10-12 SII
  • On games and models
  • Prof. Jouko Väänänen
  • Tuesdays 14-16 SIII and Thursdays 14-16 SIII
  • Intensive course in model theory
  • Marko Djordjevic
  • first lecture tue 18.2 14-16 SIII
  • Fall term 2002:

  • Announcement
  • Mathematical logic (Finnish) (Logiikka II)
  • Prof. Jouko Väänänen
  • ti 14-16 SIII, to 14-16 SIII, alkaa: 12.9.
  • Logik 1 (Swedish)
  • Marko Djordjevic
  • Computability theory (Finnish)
  • Taneli Huuskonen
  • Spring term 2002:

  • Logiikka I (suomeksi, Finnish)
  • Juha Nurmonen
  • to 12-14 PII, pe 12-14 PII.
  • Model Theory II (engl.)
  • Tapani Hyttinen
  • monday 10-12 SII, thursday 14-16 SIII.
  • Recommended for participants of the fall term course Model Theory I (Kennedy) and for students specializing in model theory.
  • Finite model theory (engl.),
  • Taneli Huuskonen
  • monday 14-16 SIII, thursday 12-14 SIII.
  • Extensions of elementary logic (engl.)
  • Jouko Väänänen
  • Vaatii ennakkoilmoittautumisen. Requires advance registration.
  • tuesday 14-16, SIII
  • There is an assistant familiar with logic courses present in the "Laskupaja" wed 15-17, thu 12-14 and fri 15-17.
  • Autumn term 2001

  • Mathematical Logic (Logic II) Prof. Väänänen tue 14-16, thu 14-16 SIII
  • Model theory, part I PhD Kennedy mon 12-14, thu 12-14 SI
  • Axiomatic Set Theory FT Väisänen mon 10-12, thu 10-12 SII
  • Logic I Yi Zhangmon 16-18 SIV, fri 10-12 SI

  • Spring term 2001

  • Logic 1 (lectured in finnish)
  • Logic Seminar
  • Cohen and random reals

  • Basic courses

  • Logic 1 (in finnish)
  • Mathematical Logic (Logic 2) (in finnish)
  • Elements of Set Theory, spring 2000.
  • Special courses

  • Axiomatic Set Theory
  • Model Theory, spring 1999
  • Recursion Theory, fall 1999
  • Finite Model Theory
  • On Games with Models
  • Intensive courses

  • Random Models (page in finnish)
  • Introduction to prime models
  • Nonstandard analysis
  • Models of Arithmetic, fall 1999
  • Seminars

  • Logic seminar
  • Set theory laboratory (page in finnish)
  • Thesis supervisors

    Master's-, licenciate- and Ph.D-theses are supervised by Taneli Huuskonen, Tapani Hyttinen, Kerkko Luosto, Juha Oikkonen ja Jouko Väänänen. See examples of Master's Thesis topics (in finnish).
    Logic Courses - Helsinki Logic Group - Department of Mathematics