The following pages link to Wolfram Pohlers (Q930617):
Displaying 29 items.
- Proof theory. The first step into impredicativity (Q930618) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies (Q1166517) (← links)
- Applications of cut-free infinitary derivations to generalized recursion theory (Q1295406) (← links)
- Proof theory. An introduction (Q1801306) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- Ein starker Normalisationssatz für die intuitionistische Typentheorie (Q2558857) (← links)
- (Q2785483) (← links)
- (Q3041187) (← links)
- (Q3138827) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- (Q3773877) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
- Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions (Q3960689) (← links)
- (Q4120570) (← links)
- Ordinals connected with formal theories for transfinitely iterated inductive definitions (Q4175275) (← links)
- Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748) (← links)
- (Q4215633) (← links)
- (Q4742775) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- In Memoriam: Kurt Schütte 1909–1998 (Q4953837) (← links)
- (Q4981456) (← links)
- Memories of Kurt Schütte and the logic group in Munich: A personal report (Q5013896) (← links)
- The Limits of Predicativity Revisited (Q5013901) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
- Hilbert’s Programme and Ordinal Analysis (Q5221861) (← links)
- Semi-Formal Calculi and Their Applications (Q5361254) (← links)
