zbMATH — the first resource for mathematics

Ordinal analysis of terms of finite type. (English) Zbl 0444.03029

03F10 Functionals in proof theory
03F15 Recursive ordinals and ordinal notations
Full Text: DOI
[1] DOI: 10.1305/ndjfl/1093956080 · Zbl 0183.01403 · doi:10.1305/ndjfl/1093956080
[2] Intuitionism and proof theory, Proceedings of the Summer Conference at Buffalo, New York pp 443– (1968)
[3] Formal systems and recursive functions pp 176– (1965)
[4] Contributions to mathematical logic pp 109– (1968)
[5] Einige Anwendungen von unendlichen Termen und Wertfunktionalen (1973)
[6] Compositio Mathematica 20 pp 107– (1968)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.