2015–16–B
Prof. Menachem Kojman
Course topics
- The reflection theorem
- Mostowski collapse theorem
- Absoluteness of formulas
- The constructible universe
- Forcing
- Consistency of the negation of the continuum hypothesis
- Consistency of the negation of the Axiom of choice