Pages that link to "Item:Q4254685"
From MaRDI portal
The following pages link to How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685):
Displaying 8 items.
- Finite notations for infinite terms (Q1295405) (← links)
- Combinatory logic with polymorphic types (Q2144609) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On the Computational Content of Termination Proofs (Q3195706) (← links)
- Complexity of Gödel’s T in λ-Formulation (Q3637208) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
