MATH779 SET THEORY
Course Code: | 2360779 |
METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
ECTS Credit: | 8.0 |
Department: | Mathematics |
Language of Instruction: | English |
Level of Study: | Graduate |
Course Coordinator: | |
Offered Semester: | Fall and Spring Semesters. |
Course Objectives
At the end of the course, students are expected to learn
- various combinatorial set-theoretic principles and their consequences,
- basics of forcing, which is the main tool to show independence results, and
- various independence results and how such independence results are connected to other branches of mathematics.
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.