The following pages link to (Q4325775):
Displaying 11 items.
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Proof theory of reflection (Q1332853) (← links)
- An ordinal analysis of stability (Q1765099) (← links)
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension (Q1777268) (← links)
- Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655) (← links)
- Finitary treatment of operator controlled derivations (Q2743649) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals (Q4304798) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)