Switch to: Citations

Add references

You must login to add references.
  1. On the interpretation of non-finitist proofs–Part II.G. Kreisel - 1952 - Journal of Symbolic Logic 17 (1):43-58.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310. [REVIEW]R. O. Gandy & John N. Crossley - 1970 - Journal of Symbolic Logic 35 (1):157-157.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.
    Inspired by Pohlers' local predicativity approach to Pure Proof Theory and Howard's ordinal analysis of bar recursion of type zero we present a short, technically smooth and constructive strong normalization proof for Gödel's system T of primitive recursive functionals of finite types by constructing an ε 0 -recursive function [] 0 : T → ω so that a reduces to b implies [a] $_0 > [b]_0$ . The construction of [] 0 is based on a careful analysis of the Howard-Schütte (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Infinitely Long Terms of Transfinite Type.W. W. Tait, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (4):623-624.
    Download  
     
    Export citation  
     
    Bookmark   13 citations