Vita:Axiomatikus halmazelmélet
Új téma nyitása
|
Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik. Bátran kapcsolódj be a szerkesztésébe! |
| Besorolatlan | Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. |
| Nem értékelt | Ezt a szócikket még nem értékelték a műhely fontossági skáláján. |
| Értékelő szerkesztő: ismeretlen | |
Ruzsa-féle halmazelmélet
[szerkesztés]Nincs olyan, hogy Ruzsa-féle halmazelmélet. Ruzsa Imre könyveiben a halmazelmélet Zermelo-Fraenkel-féle felépítése szerepel, csak a valódi osztályokra utaló szimbólumok szerepeltetése és kiküszöbölésének módja van valamivel részletesebben kifejtve, mint a szokásos halmazelméleti kézikönyvekben.
Az atomok szerepeltetése teljesen bevett opció ZF-ben és más elméletekben is. (Zermelo, Fraenkel, Neumann, Bernays és Gödel is megengedtek atomokat; csak később vált szokássá az atommentes felépítés.) Az atomok szerepeltetése a Kripke-Platek halmazelméletben is opcionális.
Egyetlen olyan elméletcsalád van, amelyben döntő jelentőségű az atomok jelenléte: ez az NF (New Foundations), amelynek atommentes változatában levezethető a kiválasztási axióma tagadása, és e változatra nem ismertek relatív konzisztenciabizonyítások. Az atomos változatban AC független formula, és NFU ZF-hez képest konzisztens elmélet (Jensen, 1969). – Aláíratlan hozzászólás, szerzője Mcysh (vitalap | szerkesztései) 2008. február 7., 13:44 (CET)
Üres halmaz
[szerkesztés]üreshalmaz létezése nem maradt le ZFC-ből? 88.132.143.78 (vita) 2012. szeptember 12., 23:13 (CEST)