Halmazelmélet
Tanszék: Halmazelmélet és Matematikai Logika Tanszék
Tematika:
Ekvivalencia és számosság fogalma. Megszámlálható és kontinuum számosságú halmazok.
Számosságok összehasonlítása, ekvivalencia-tétel, műveletek halmazokkal és számosságokkal.
Rendezett halmazok és rendtípusok. Jólrendezett halmazok és rendszámok. Műveletek
rendszámokkal. Transzfinit indukció és rekurzió. A kiválasztási axióma és ekvivalensei,
jólrendezési tétel. Számosságoperáció. Számosságok tulajdonságai. Kofinalitás, a
hatványfüggvény tulajdonságai.
Előfeltétel: