库尔特·舒特 Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik《超越诱导》。 （德语） Zbl 0158.00705号 架构（architecture）。数学。Logik Grundlagenforsch公司。 7, 45-60 (1965). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 +4 +5 显示扫描页面 引用于21文件 关键词：数理逻辑 PDF格式BibTeX公司 XML格式引用 \textit{K.Schütte}，拱门。数学。Logik Grundlagenforsch公司。7、45-60（1965年；Zbl 0158.00705） 全文： 内政部 欧洲DML 参考文献： [1] S.Feferman：《美国通告》中的2篇摘要。数学。Soc.：建设性证明良好秩序，第8卷（1961）495。预测分析和分支分析的可证明良序及其关系第9卷（1962）323页。 [2] G.Gentzen：Beweisbarkeit und Unbeweisbargeit von Anfangsfällen der infiniten Induktion in der reinen Zahlenthorie.数学。Ann.119（1943），140-161·Zbl 0028.10201号 ·doi:10.1007/BF01564760 [3] K.Schütte:Beweistheorie，Berlin/Gottingen/Heidelberg 1960（Die Grundlehren d.math.Wiss.Band 103）。 [4] K.Schütte:Logische Abgrenzungen des Transfiniten。Logik和Logikkalkül，hrsg。von M.Käsbauer und Fr.v.Kutschera（1962年），第105–114页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。