Pages that link to "Item:Q3637208"
From MaRDI portal
The following pages link to Complexity of Gödel’s T in λ-Formulation (Q3637208):
Displaying 3 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)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
