Informacje ogólne

Typ:fakultatywny

Program

1. Aksjomaty ekstencjonalności 2. Aksjomat wycinania 3. Pary nieuporządkowane 4. Sumy i przekroje 5. Dopełnienie i zbiór potęgowy 6. Pary uporządkowane 7. Relacje 8. Funkcje 9. Rodziny 10. Przeciwobrazy i złożenia 11. Liczby naturalne 12. Aksjomaty Peano 13. Arytmetyka 14. Porządek 15. Aksjomat wyboru 16. Lemat Zorna 17. Dobry porządek 18. Indukcja pozaskończona 19. Liczby porządkowe, zbiory liczb porządkowych, arytmetyka liczb porządkowych 20. Twierdzenie Shrodera-Bernsteina 21. Zbiory przeliczalne 22. Arytmetyka liczb kardynalnych 23. Liczby kardynalne

Sposób zaliczenia

egzamin

Literatura

1. P. Halmos, Naive set theory, Princeton 1960, Springer Verlag 1974 2. K. Kunen, Set Theory, North Holland, Amsterdam 1980 3. K. Kuratowski, Wstęp do teorii mnogości i topologii, PWN 1980. 4. K. Kuratowski, A. Mostowski, Teoria mnogości, PWN 1966