B. Blankertz

Institut für mathematische Logik und Grundlagenforschung

---

Papers on Proof Theory (all in german, gzipped .ps-files)

• Master Thesis: Eine Characterisierung der beweisbar totalen Funktionen von KPM
• Report: D'apres une lecture de Weiermann (Provably total functions of KPw)
• Report: D'apres une lecture de Buchholz (Provably total functions of KPM)
• Report: D'apres une lecture de Rathjen (Provably total functions of KP+Pi_3-Ref)
• PhD Thesis: Beweistheoretische Techniken zur Bestimmung von Pi^0_2-Skolem Funktionen
• PhD Excerpt: Die beweisbar totalen Funktionen von PA (Provably total functions of PA)