Suuret kardinaalit ja iteroitu pakotus

Asema opetuksessa:

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

Esitietovaatimukset:

Aksiomaattisen joukko-opin kurssi, pakotus.

Luennot syyslukukaudella 2006:

Luennoitsija on dos. Taneli Huuskonen.

ti 12-14 C122, ke 10-12 C321

Luentoajat: ti klo 12-14 salissa C122 ja ke klo 10-12 salissa C321 (laskupaja). Ensimmäinen luento on tiistaina 5.9.2006. Kurssi kestää koko syyslukukauden (periodit I ja II).

Laskuharjoitukset:

Pe 10-12 salissa C321. Ensimmäiset harjoitukset perjantaina 15.9.2006. Lista harjoituksista.

Sisältö:

• Ydinaines
  • Saavuttamattomat kardinaalit
  • Mahlo-kardinaalit
  • Mitallisten kardinaalien perusominaisuudet
  • Levy-romautus
  • Martinin aksiooman konsistenssi
• Täydentävä tietous
  • Heikosti kompaktit kardinaalit
  • 0^#
• Erityistietämys
  • Muut suuret kardinaalit
  • Ekvikonsistenssituloksia

Suorittaminen:

Kurssin voi suorittaa kurssikokeella syyslukukauden 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:

Kurssin pohjana käytetään mm. seuraavia kirjoja:

• 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)

Muusta materiaalista ilmoitetaan kurssin aikana.

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