Ordinal Analysis and Consistency Proofs

Session 1: 03/19, 17:00-18:00. Introduction, partial orders, wellorders, ordinal numbers.


Session 2: 04/09, 17:00-18:00.  Transfinite induction, ordinal arithmetic, Cantor's normal form theorem.


Session 3: 04/16, 17:00-18:00. The language of arithmetic, Robinson's arithmetic, Sigma_1-completeness, the pairing lemma.


Session 4: 04/23, 17:00-18:00. The arithmetical hierarchy, coding of finite sequences.


Session 5: 04/30, 17:00-18:00. Gödel numberings, provability predicates, the First Incompleteness Theorem, Rosser's Theorem.


Session 6: 05/14, 17:00-18:00.