arnold beckmann's pages

Analyzing Gödel's T via expanded head reduction trees

File: PDF-File

Author: Arnold Beckmann and Andreas Weiermann
Title: Analyzing Gödel's T via expanded head reduction trees
Journal: Math.Log.Quat. 2000, 46(4):517-536
DOI: 10.1002/1521-3870(200010)46:4<517::AID-MALQ517>3.0.CO;2-A

Abstract: Inspired from Buchholz' ordinal analysis of ID1 and Beckmann's analysis of the simple typed λ - calculus we classify the derivation lengths for Gödel's system T in the λ - formulation (where the η - rule is included).

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!