Pages that link to "Item:Q5944050"
From MaRDI portal
The following pages link to Explaining the Gentzen-Takeuti reduction steps: A second-order system (Q5944050):
Displayed 8 items.
- An extension of the omega-rule (Q283132) (← links)
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)