The following pages link to (Q4793023):
Displaying 6 items.
- Ordinal analysis by transformations (Q1006618) (← links)
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0 (Q3523183) (← links)
- (Q4249025) (← links)
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476) (← links)
- Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)