Auswahl aktueller Veröffentlichungen

1. mit W. Sieg, A note on polynomial time computable arithmetic, in: Logic and Computation, AMS-series Contemporary Mathematics Vol. 106 (1990), 51-55

2. Notation systems for infinitary derivations, Arch. Math. Logic 30 (1991), 277-296

3. A simplified version of local predicativity, in: Proof Theory, Leeds 1990. Aczel, Simmons, Wainer (eds.) Cambridge University Press (1992), 115-147

4. mit A. Cichon und A. Weiermann, A uniform approach to fundamental sequences and hierarchies, Mathematical Logic Quarterly 40 (1994), 273-286

5. Proof-theoretic analysis of termination proofs, Annals of Pure and Applied Logic 75 (1995), 57-65

6. mit G. Mints und S. Tupailo, Epsilon Substitution Method for Elementary Analysis, Arch. Math. Logic. 35 (1996), 103-130

7. An intuitionistic fixed-point theory, Archive of Mathematical Logic, erscheint demnächst