The following pages link to (Q4218926):
Displaying 4 items.
- Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
- A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity (Q1374676) (← links)
- Derivation lengths classification of Gödel's T extending Howard's assignment (Q2881086) (← links)
- Analyzing Gödel's T Via Expanded Head Reduction Trees (Q4521126) (← links)