Osnova sekce

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