Set theory
General data
Course ID: | 1000-135TMN |
Erasmus code / ISCED: |
11.114
|
Course title: | Set theory |
Name in Polish: | Teoria mnogości |
Organizational unit: | Faculty of Mathematics, Informatics, and Mechanics |
Course groups: |
(in Polish) Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka Elective courses for 2nd stage studies in Mathematics |
ECTS credit allocation (and other scores): |
6.00
|
Language: | English |
Type of course: | elective courses |
Short description: |
The lecture presents basic notions of advanced set theory (ordinal and cardinal numbers, axioms of set theory) and introduces elements of infinite combinatorics. |
Full description: |
A general introduction to set theory: the axioms, well orderings, transfinite induction and recursion, ordinal and cardinal numbers. Topics in combinatorial set theory: ideals and filters, stationary sets, trees, Delta systems, partition calculus. |
Bibliography: |
W.Just, M.Weese, Discovering modern set theory, I: The basics, II: Set-theoretic tools for every mathematician, Graduate Studies in Mathematics vol. 8 (1996), 18 (1997), American Mathematical Society. |
Learning outcomes: |
A student: 1. knows Zorn's Lemma and applies it to prove the existence of sets of various properties, including non-principal ultrafilters; 2. knows the notion of a well-ordering and von Neumann's definition of an ordinal. Is familiar with ordinal arithmetic. Knows how to prove statements by transfinite induction and construct sets or sequences by transfinite recursion; 3. knows the notion of a cardinal number, basics of cardinal arithmetic and most important theorems, including Hessenberg's Theorem and the Hausdorff Formula. Is able to express cardinalities of various sets using cardinals. 4. knows the notion of cofinality of a cardinal and the notions of a regular and singular cardinal. 5. knows the notions of a closed unbounded and stationary subset of a regular cardinal. Knows and uses Fodor's Lemma. 6. knows theorems about existence and sizes of families with special combinatorial properties, including almost disjoint and independent families and Delta-systems. 7. knows the notion of a tree and basic theorems about existence of cofinal branches in a tree, including theorems of Koenig and Aronszajn; 8. knows basic partition theorems, including the Ramsey, Erdos-Rado and Erdos-Dushnik-Miller theorems; 9. knows axioms of ZFC theory and some additional set-theoretic axioms, including CH and GCH. |
Assessment methods and assessment criteria: |
(in Polish) O ocenie decyduje wynik egzaminu. -------------- Zasady oceniania w semestrze zimowym roku 2020/21: Do egzaminu w pierwszym terminie dopuszczone zostaną osoby, które uzyskają co najmniej 50% punktów z zadań domowych. Egzamin pisemny odbędzie się albo stacjonarnie, jeśli sytuacja epidemiologiczna na to pozwoli, albo za pomocą Moodle'a. W szczególnych wypadkach wykładowca może zaproponować studentowi egzamin ustny, którego wynik może zmienić ocenę wynikającą z egzaminu pisemnego. Na dopuszczenie do egzaminu ustnego wpływ ma liczba punktów z zadań domowych oraz opinia z ćwiczeń. Liczba zaproszeń na ustny może istotnie wzrosnąć, jeśli egzamin pisemny będzie zdalny. Do egzaminu w II terminie dopuszczeni są wszyscy uczestnicy kursu. Poza tym egzamin w II terminie podlega tym samym zasadom co w I terminie. O egzamin w terminie zerowym mogą się ubiegać osoby, które w ocenie prowadzącego zajęcia mieszczą się (pod względem punktów za zadania domowe, aktywności na ćwiczeniach, ew. aktywności na wykładzie) wśród czołowych 10% uczestników kursu. O możliwość przystąpienia do egzaminu zerowego można się starać począwszy od 15 stycznia 2021 r. Egzamin zerowy będzie wyłącznie ustny i będzie sprawdzał zarówno umiejętność rozwiązywania zadań, jak i znajomość teorii. |
Classes in period "Winter semester 2023/24" (past)
Time span: | 2023-10-01 - 2024-01-28 |
Navigate to timetable
MO TU W WYK
CW
TH FR |
Type of class: |
Classes, 30 hours
Lecture, 30 hours
|
|
Coordinators: | Piotr Zakrzewski | |
Group instructors: | Michał Korch, Piotr Zakrzewski | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
Examination
Lecture - Examination |
Classes in period "Winter semester 2024/25" (future)
Time span: | 2024-10-01 - 2025-01-26 |
Navigate to timetable
MO TU W TH FR |
Type of class: |
Classes, 30 hours
Lecture, 30 hours
|
|
Coordinators: | Piotr Zakrzewski | |
Group instructors: | Michał Korch, Piotr Zakrzewski | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
Examination
Lecture - Examination |
Copyright by University of Warsaw.