MATH779 SET THEORY
| Course Code: |
2360779 |
| METU Credit (Theoretical-Laboratory hours/week): |
3(3-0) |
| ECTS Credit: |
8.0 |
| Department: |
Mathematics |
| Language of Instruction: |
English |
| Level of Study: |
Graduate |
| Course Coordinator: |
Assist.Prof.Dr BURAK KAYA |
| Offered Semester: |
Fall and Spring Semesters. |
Course Content
Review of ordinals. cardinals. transfinite induction and recursion. Basics of infinitary combinatorics. Suslin s hypothesis and trees. the diamond principle.Martin s axiom and their consequences. Models of set theory. relative consistency. absoluteness and reflection. Gödel s constructible universe and the axiom of constructibility. Forcing and its general theory. the forcing theorems. The relative consistency of CH. CH and other applications of forcing.