Literatur
Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectioa12 (1958), 280–287.
Spector, C.: Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, 1–27.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Diller, J., Schütte, K. Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Arch math Logik 14, 69–74 (1971). https://doi.org/10.1007/BF01974150
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01974150