Set theory and metamathematics VT26

This course covers core topics in modern set theory, and independence results in set theory and proof theory:

• Axioms of Zermelo–Fränkel set theory, ZF(C)
• Core mathematical concepts in ZF
• Cardinals; ordinals and well-orderings; ordinal and cardinal arithmetic
• Independence results: permutation models, forcing, independence of the Axiom of Choice and the Continuum Hypothesis
• Computability; Gödel’s incompleteness theorems
• Sequent calculus, cut elimination, and normalisation; Gentzen’s consistency proof for PA 

Course meetings: Thursdays 9:00-12:00. Full schedule (TimeEdit)

Please note that self-enrollment on the course page is not the same as course registration in Ladok.