Pages that link to "Item:Q2881086"
From MaRDI portal
The following pages link to Derivation lengths classification of Gödel's T extending Howard's assignment (Q2881086):
Displaying 8 items.
- How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195) (← links)
- 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)
- Gentzen's consistency proof without heightlines (Q2377348) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- Analyzing Gödel's T Via Expanded Head Reduction Trees (Q4521126) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
