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: |
|
| 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.
