Section outline

◄Cateogory theory and Homotopy type theory
►Independence results for set theory: forcing

  • Model theory is a large subject. We will first discuss Lowenheim-Skolem theorems and their generalizations which often lead to large cardinals (set-theoretical model theory).

    With regard to model theory, set theory and logic, read a popular paper by Shelah.

◄Cateogory theory and Homotopy type theory
►Independence results for set theory: forcing