| |
| 1998 | ||
|---|---|---|
| 4 | Arnold Beckmann, Wolfram Pohlers: Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. Ann. Pure Appl. Logic 94(1-3): 7-19 (1998) | |
| 1996 | ||
| 3 | EE | Wolfram Pohlers: Pure proof theory, aims, methods and results. Bulletin of Symbolic Logic 2(2): 159-188 (1996) |
| 1978 | ||
| 2 | Wilfried Buchholz, Wolfram Pohlers: Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. J. Symb. Log. 43(1): 118-125 (1978) | |
| 1 | Wolfram Pohlers: Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions. J. Symb. Log. 43(2): 161-182 (1978) | |
| 1 | Arnold Beckmann | [4] |
| 2 | Wilfried Buchholz | [2] |