Finite Notations for Infinite Terms
暂无分享,去创建一个
[1] G. Mints,et al. Finite investigations of transfinite derivations , 1978 .
[2] Wilfried Buchholz,et al. Notation systems for infinitary derivations , 1991, Arch. Math. Log..
[3] Helmut Schwichtenberg. Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen , 1987, Computation Theory and Logic.
[4] Helmut Schwichtenberg,et al. Classifying Recursive Functions , 1999, Handbook of Computability Theory.
[5] W. Tait. Infinitely Long Terms of Transfinite Type , 1965 .
[6] Helmut Schwichtenberg,et al. Ordinal Bounds for Programs , 1995 .
[7] Georg Kreisel,et al. On the interpretation of non-finitist proofs—Part I , 1951, Journal of Symbolic Logic.
[8] J. N. Crossley,et al. Formal Systems and Recursive Functions , 1963 .
[9] Helmut Schwichtenberg,et al. Elimination of higher type levels in definitions of primitive recursive functionals , 1975 .
[10] Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Godel's T : a case study , 1998 .
[11] H. Schwichtenberg. Proof Theory: Some Applications of Cut-Elimination , 1977 .
[12] R. O. Gandy. Computable Functionals of Finite Type I , 1967 .