Literatur
Feferman, S.: Systems of predicative Analysis. J. Symb. Logic29 (1964).
Girard, J. Y.: Une extension de l'intérpretation de Gödel à l'analyse, et son application à l'élimination des coupures dans l'analyse et la théorie des types. Proc. 2nd Scand. Log. Symp. ed Fenstad (North Holland, Amsterdam).
Kino, A.: On provably recursive functions and ordinal recursive functions. J. Math. Soc. Japan20 (1968).
Maaß, W.: Eine Funktionalinterpretation der prädikativen Analysis. Dissertation an der Universität München (1974).
Maaß, W.: Church Rosser Theorem fürλ-Kalküle mit unendlich langen Termen. Erscheint in Proc. of the ISILC Kiel 1974 (Springer lecture notes).
Prawitz, D.: Natural Deductions. Almqvist Wiksells, Stockholm 1965.
Schütte, K.: Predicative Well-Orderings. Proc. 8. Logic Coll. ed Crossley/Dummett 1963.
Schütte, K.: Eine Grenze für die Beweisbarkeit der Transfiniten Induktion in der verzweigten Typenlogik. Archiv f. Math. Logik u. Grundlagenforschung7 (1965).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maaß, W. Eine Funktionalinterpretation der prädikativen Analysis. Arch math Logik 18, 27–46 (1977). https://doi.org/10.1007/BF02007255
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007255