| |
| 2008 | ||
|---|---|---|
| 6 | EE | Wolfram Pohlers: Ordinal analysis of non-monotone I-definable inductive definitions. Ann. Pure Appl. Logic 156(1): 160-169 (2008) |
| 1998 | ||
| 5 | Arnold Beckmann, Wolfram Pohlers: Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. Ann. Pure Appl. Logic 94(1-3): 7-19 (1998) | |
| 4 | EE | Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer: Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37(5-6): 273 (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 | [5] |
| 2 | Wilfried Buchholz | [2] |
| 3 | Gerhard Jäger | [4] |
| 4 | Stanley S. Wainer | [4] |