Analyzing Godel's T Via Expanded Head Reduction Trees

Mathematical Logic Quarterly 46 (4):517-536 (2000)

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
Keywords Buchholz' Ω‐rule  Gödel's T  Expanded head reduction trees
Categories (categorize this paper)
DOI 10.1002/1521-3870(200010)46:4<517::AID-MALQ517>3.0.CO;2-A
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,204
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Exact Bounds for Lengths of Reductions in Typed Λ-Calculus.Arnold Beckmann - 2001 - Journal of Symbolic Logic 66 (3):1277-1285.
An Upper Bound for Reduction Sequences in the Typed Λ-Calculus.Helmut Schwichtenberg - 1991 - Archive for Mathematical Logic 30 (5-6):405-408.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Storage Operators and ∀‐Positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.
Analytic Cut Trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Painting in the Expanded Field.Gustavo Fares - 2004 - Janus Head 7 (2):477-487.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Complete Types in an Extension of the System AF2.Samir Farkh & Karim Nour - 2003 - Journal of Applied Non-Classical Logics 13 (1):73-85.

Analytics

Added to PP index
2013-12-01

Total views
26 ( #321,293 of 2,253,764 )

Recent downloads (6 months)
6 ( #310,909 of 2,253,764 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature