Aksiomaattisen joukko-opin jatkokurssi

This course (Advanced Set Theory) was lectured in English in the Autumn Term of 2003.

Asema opetuksessa:

10 opintopisteen (5 opintoviikon) laudatur-erikoiskurssi, joka soveltuu matemaattisen logiikan linjalle.

Esitietovaatimukset:

Aksiomaattisen joukko-opin kurssi.

Luennot kevätlukukaudella 2006:

Luennoitsija on dos. Taneli Huuskonen.

Luentoajat: ma klo 12-14 salissa C323 ja ti klo 12-14 salissa C123. Ensimmäinen luento on maanantaina 16.1.2006. Kurssi kestää koko kevätlukukauden (periodit III ja IV).

Laskuharjoitukset:

To 12-14 salissa B321. Ensimmäiset harjoitukset torstaina 26.1.2006. Lista harjoituksista.

Sisältö:

• Ydinaines
  • Gödelin konstruoituvien joukkojen hierarkia L
  • Pakotuksen perusteet
• Täydentävä tietous
  • Suuret kardinaalit
• Erityistietämys
  • Äärettömät kombinatoriset periaatteet
  • Martinin aksiooma
  • Aronszajn- ja Suslin-puut

Suorittaminen:

Kurssin voi suorittaa kurssikokeella kevätlukukauden 2006 lopussa tai myöhemmin loppukokeella. Kurssi ei ole WebOodi-järjestelmässä, joten siihen ilmoittaudutaan kansliassa. Kurssikokeen päivämäärä ilmoitetaan myöhemmin. Loppukokeen ajankohdasta on sovittava erikseen luennoitsijan kanssa.

Materiaali:

Kurssi pohjautuu kirjoihin

• K. Kunen: Set Theory - An Introduction to Independence Proofs (Elsevier Science B.V. 1980)
• F. Drake: Set Theory - An Introduction to Large Cardinals (North-Holland Publishing Co, Amsterdam-London-New York 1974)

Kurssipalaute:

Luennoijalle voi lähettää nimetöntä palautetta kurssin päätyttyä osoitteesta http://www.math.helsinki.fi/kurssit/kysely/ löytyvällä Web-lomakkeella. Kurssin kuluessa suoraan annettu palaute on tervetullutta.

Logiikan opetus - Loogikkoryhmän kotisivu - Matematiikan laitos