Mathematical logic

spring 2009

Logiikka I
- Viikot 3-8 ja 11-17 ma 14–16, ti 14–16, pe 11–12 A111, lisäksi laskuharjoituksia 2 viikkotuntia.
  Pääsiäisloma 9.-15.4.

Aksiomaattinen joukko-oppi
- PhD Juliette Kennedy
- Weeks 36-42 and 44-50, Monday 16-18 and Wednesday 16-18 in room B322.
Malliteoria
- Åsa Hirvonen
- Viikot 36-42 ja 44-50 ma 12-14, to 12-14 B321. Lisäksi laskuharjoituksia 2 viikkotuntia.
Matemaattinen logiikka
- dos. Tapani Hyttinen
- Viikot 36-42 ja 44-50 ma 14-16, to 14-16 D123, lisäksi laskuharjoituksia 2 viikkotuntia.
Ramseyn teoria
- dos. Kerkko Luosto
- Viikot 36-42 ja 44-50 ti 12-14, to 10-12 B322.

Joukko-opin alkeet
- dosentti Taneli Huuskonen
- Viikot 3-9 ja 11-18 ti 14-16, ke 10-12 D123. Lisäksi laskuharjoituksia 2 viikkotuntia.
  Pääsiäisloma 20.-26.3.
Äärellisten mallien teoria
- Juha Kontinen
- Viikot 3-9 ja 11-18 ti 12-14 ja to 12-14 C123.
  Pääsiäisloma 20.-26.3.

Advanced topics in set theory
- PhD Juliette Kennedy
- 13.-16.8 (Monday to Thursday) and 20.-22.8 (Monday to Wednesday) 14-16 in room B322.
  Lectures are continuing on PFA this week. We meet Tuesday, Thursday and Friday the 11th, 13th and 14th of September from 14-16 in rooms B120, B120, D123 respectively. We then meet on the 17th and 19th, i.e. Monday and Wednesday from 10-12 in rooms C124 and C321 , respectively. The last lecture is on the uncountablility of the bounding number and on the failure of squares. We resume the lectures in November.
Laskettavuuden teoria
- Andrés Villaveces
- Weeks 36-42 and 44-50, Monday 12–14 and Thursday 12–14 in room B322.
  2 hours of exercise classes per week.

Abstract elementary classes
- Andrés Villaveces
- Preliminary schedule: Weeks 5-9 and 11-18; lecture Monday 12-14 in room C123, exercise class Wednesday 10-12 in room C123.
Descriptive Set Theory and Determinacy
- Tapio Eerola
- PhD Juliette Kennedy
- Weeks 3-9; Tuesdays 10-12 in room C321, Fridays 12-14 in room C123. First meeting on Jan. 16.
Joukko-opin alkeet
- Ryan Bissell-Siders
- Weeks 3-9 and 11-18, Tuesday 12-14, Wednesday 14-16 in room C124. Two hours of exercise classes per week.
  Easter holiday 5.-11.4.
Suuret kardinaalit ja iteroitu pakotus
- dosentti Taneli Huuskonen
- Viikot 11-18 ke 10-12 C321, pe 12-14 D123.
  Pääsiäisloma 5.-11.4.

Boolean-Valued Models and Independence Proofs in Set Theory
- Weeks 44-50, Tuesday 12-14 in room C122, Wednesday 10-12 in room C321.
Logiikka I
- Alex Hellsten
- Veckorna 36-42 och 44-50 tis 12-14 D123, tor 10-12 B322. Dessutom 2 veckotimmar räkneövningar.

Independence friendly logic II
- prof. Jouko Väänänen
- Period III, Tuesday 10-12 in room C124.
Joukko-opin jatkokurssi
- dosentti Taneli Huuskonen
- Viikot 3-9 ja 11-18 ma 12-14 C323, ti 12-14 C123.
Matemaattinen logiikka
- PhD Juliette Kennedy
- Weeks 3-9 and 11-18; Mondays 12-14 in room B321, Wednesdays 10-12 in room B322.
Satunnaismallit
- dos. Kerkko Luosto
- Viikot 3-9 ja 11-18 ma 10-12, to 10-12 B322.

Aksiomaattinen joukko-oppi
- dosentti Taneli Huuskonen
- I ja II periodi, ma 12-14, ti 12-14 B321.
  Laskuharjoitus to 12-14 C123.
Independence friendly logic
- prof. Jouko Väänänen
- Tuesdays 10-12 at Exactum B120, starting 1.11.2005
Logiikka I
- PhD Juliette Kennedy
- Weeks 36-42 and 44-50; Monday 12-14, Wednesday 10-12 in room C124; first lecture on Monday, September 5.
  HUOM!
  WEDNESDAY DECEMBER 7TH: CLASS CANCELLED MAKE-UP CLASS FRIDAY DECEMBER 9TH 12:00-14:00 IN C124 PROBLEM SESSION CLASS WEDNESDAY DECEMBER 14TH IN OUR CLASSROOM 10:00-12:00 FINAL EXAM DECEMBER 16 AND 19 13:00-15:00 LOCATION TO BE ANNOUNCED
  Scanned material (pdf)
New developments in proper forcing
- Boban Velickovic
- Friday 10-12, in C321, starting Oct 14

Johdatus yleistettyihin kvanttoreihin II
- prof. Jouko Väänänen
- Tue 14-16 B322, starts on January 18; exercise class 2 hours every second week.
Simplified constructibility theory
- Friday 4.3.05 12-14 Exactum C124
  Monday 7.3.05 10-12 Exactum C123
  Wednesday 9.3.05 12-14 Exactum C124
  Friday 11.3.05 12-14 Exactum C124