Pages that link to "Item:Q2804471"
From MaRDI portal
The following pages link to FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471):
Displaying 3 items.
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (Q2863601) (← links)
- Further applications of ultra-conservative ω-rules (Q3318773) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
