A tantárgy szerepe a képzés céljának megvalósításában:
TTK Matematika (BSc) képzés Elméleti specializációjának kötelezően választható tárgya
A tantárgy részletes tematikája magyarul és angolul:
Halmazok ekvivalenciája. Halmaz és hatványhalmaza nem ekvivalens. Számosság naiv definíciója és a definíció ellentmondásosság a. A ZFC
axióma rendszer. Új operációk és relációk bevezetése. Rendezett pár, függvény, reláció, direkt szorzat fog alma. Rendezett halmaz, jólrendezés, kezdőszelet fogalma. Rendszámok és alaptulajdonságaik. A rendszámok valódi osztályt alkotnak. Rákövetkező és limesz rendszámo k. Transzfinit indukció és rekurzió. A kiválasztási axióma ekvivalensei. Számosság operációk, számosságok rendezése, a számosság aritmetika alap tétele. Kofinalitás operáció. Néhány nevezetes ZFC-től független állítás. ZFC eldönthetetlensége. A halmazelmélet modelljeiről.
Követelmények szorgalmi időszakban:
Követelmények vizsgaidőszakban:
Konzultációs lehetőségek:
Jegyzet, tankönyv, felhasználható irodalom:
Hajnal András, Hamburger Péter: Halmazelmélet, Tankönyvkiadó, 1983.
Nyomtatóbarát változat
