Wolfram Pohlers

Publication Activity (10 Years)

Years Active: 1978-2008
Publications (10 Years): 0

Publications

Wolfram Pohlers
-definable inductive definitions. Ann. Pure Appl. Log. 156 (1) (2008)
Arnold Beckmann, Wolfram Pohlers
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. Ann. Pure Appl. Log. 94 (1-3) (1998)
Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer
Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37 (5-6) (1998)
Wolfram Pohlers
Pure proof theory, aims, methods and results. Bull. Symb. Log. 2 (2) (1996)
Wolfram Pohlers
Proof theory and ordinal analysis. Arch. Math. Log. 30 (5-6) (1991)
Wolfram Pohlers
Ordinal notations based on a hierarchy of inaccessible cardinals. Ann. Pure Appl. Log. 33 (1987)
Wolfram Pohlers
. Arch. Math. Log. 21 (1) (1981)
Wolfram Pohlers
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions. Arch. Math. Log. 22 (1-2) (1980)
Wilfried Buchholz, Wolfram Pohlers
Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. J. Symb. Log. 43 (1) (1978)
Wolfram Pohlers
Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions. J. Symb. Log. 43 (2) (1978)