Wolfram Pohlers

According to our database, Wolfram Pohlers authored at least 11 papers between 1978 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Ordinal analysis of non-monotone <i>I</i>-definable inductive definitions.

Wolfram Pohlers

Ann. Pure Appl. Log., 2008

1998

Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.

Arnold Beckmann, Wolfram Pohlers

Ann. Pure Appl. Log., 1998

Editorial Logic Colloquium '95, Haifa, Israel.

Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer

Arch. Math. Log., 1998

1996

Pure proof theory, aims, methods and results.

Wolfram Pohlers

Bull. Symb. Log., 1996

1993

Mathematische Grundlagen der Informatik.

Wolfram Pohlers

Handbuch der Informatik 1.5, Oldenbourg, ISBN: 978-3-486-22113-8, 1993

1991

Proof theory and ordinal analysis.

Wolfram Pohlers

Arch. Math. Log., 1991

1987

Ordinal notations based on a hierarchy of inaccessible cardinals.

Wolfram Pohlers

Ann. Pure Appl. Log., 1987

1981

Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID₁.

Wolfram Pohlers

Arch. Math. Log., 1981

1980

Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions.

Wolfram Pohlers

Arch. Math. Log., 1980

1978

Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions.

Wolfram Pohlers

J. Symb. Log., 1978

Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.

Wilfried Buchholz, Wolfram Pohlers

J. Symb. Log., 1978