KÜME TEORİSİ:kümeler, kuvvet kümeleri ve küme ailelerinin cebiri; bağıntılar, sıralama bağıntıları, yarı ve tam sıralamalar, en küçük üst ve en büyük alt sınırlar; denklik bağıntısı, parçalanma, fonksiyonlar, sonsuz diziler, Cantor teoremi, sayılabilir ve sayılayaman kümeler.
|
|||
| SET THEORY:Paradoxes
of naive set theory, ZF axioms of set theory. Inductive sets and
recursion on , construction of real numbers. Cardinal and ordinal
numbers, cofinality, alephs, transfinite recursion. Axiom of choice,
well-ordering theorem, Zorn’s lemma and the proof of their
equivalence. Constructible universe and the consistency of the axiom
of choice and continuum hypothesis with ZF axioms.
|
