Vorlesungen
-
Mathematische Logik (WS 10/11)
- Beweistheorie (WS 02/03, last change: 25.2.03)
- Logic II (SoSe 02)
- Logic I (WS 2001/02)
- Beweistheorie (WS 1997/98)
- Logik II (SoSe 1993)
[Contains an accurate and simple proof of provable Sigma-1-completeness. Section 7.1 (especially Theorem 2.1) of
Rautenberg, A Concise Introduction to Mathematical Logic, is based on Ch.15 of this lecture.]
- Logik I (WS 1992/93)
Papers and unpublished notes
-
A survey on ordinal notations around the Bachmann-Howard ordinal
(Preliminary Version 17.07.2015)
.
-
On Gentzen's first consistency proof for arithmetic
(14.02.2014),
(to appear in the Gentzen Centenary Volume)
-
Another reduction of classical IDnu to constructive IDnu^i
(Preliminary version 3.2.2010),
Final version in Ralf Schindler (Ed.), Ways of Proof Theory,
Ontos Verlag 2010
-
A term calculus for (co-)recursive definitions on streamlike data-structures,
(Final version in Annals of Pure and Applied Logic 136, 2005)
-
Relating ordinals to proofs in a perspicious way ,
(Feferman-Festschrift-2002, Lecture Notes in Logic 15)
-
Refined Program Extraction from Classical Proofs, with U. Berger
and H. Schwichtenberg (Final version in Annals of Pure and Applied Logic 114, 2002)
-
Finitary treatment of operator controlled derivations,(MLQ '01)
-
Explaining the Gentzen-Takeuti reduction steps,(AML '01)
-
Explaining Gentzen's Consistency Proof within Infinitary Proof Theory,
(KGC'97)
-
A note on SLDNF-resolution,(JLC '98)
-
An intuitionistic fixed-point theory,(AML '97)
-
Epsilon Substitution Method for Elementary Analysis,with G. Mints and
S. Tupailo (AML '96)
-
Proof-theoretic analysis of termination proofs, (APAL '95)
-
A uniform approach to fundamental sequences and hierarchies,
with A. Cichon and A. Weiermann (MLQ '94)
-
A note on the ordinal analysis of KPM, (Helsinki '90)
-
A simplified version of local predicativity, (Leeds '90)