Literaturverzeichnis
S. Feferman: 2 Abstracts in Notices Amer. Math. Soc.: Constructively provable well-orderings, vol.8 (1961) 495. Provable well-orderings of and relations between predicative and ramified analysis vol.9 (1962) 323.
G. Gentzen: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Math. Ann.119 (1943), 140–161.
K. Schütte: Beweistheorie. Berlin/Göttingen/Heidelberg 1960 (Die Grundlehren d. math. Wiss. Band 103).
K. Schütte: Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, hrsg. von M. Käsbauer und Fr. v. Kutschera (1962), 105–114.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schütte, K. Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik. Arch math Logik 7, 45–60 (1964). https://doi.org/10.1007/BF01972460
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01972460