The seminar in mathematical logic - HRJs page

The seminar has its own home page.

On this page I write down some of the things I have been doing in the seminar.

Most of the material I have presented lately have been included in my - ever expanding - course on proof theory. Here you can download the latest version.

Fall 1997

provability logic - chapters 6 and 7

Spring 1998

automata on trees, Rabins result about S2S - chapter 8

Fall 1998

ordinal notation - chapter 4

Fall 1999

prooofs of normalization

References:

Papers by Ralph Matthes - in particular his dissertation.

Girard, Lafont, Taylor: "Proofs and types". Cambridge University Press

Terlouw: "Strong normalization in type systems". Festschrift Dirk van Dalen.