杰格，格哈德 Zur Beweistheorie der Kripke-Platek-Mengenlehreüber den natuerlichen Zahlen。 （德语） Zbl 0503.03014号 架构（architecture）。数学。Logik Grundlagenforsch公司。 22, 121-139 (1982). 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于23文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 03E70型 非经典和二阶集合论 关键词：克里普克-平板集合论;一阶算术;序数符号 PDF格式BibTeX公司 XML格式引用 \textit｛G.Jäger｝，阿奇。数学。Logik Grundlagenforsch公司。22121--139（1982；Zbl 0503.03014） 全文： 内政部 欧洲DML 参考文献： [1] Barwise，J.：容许集与结构。柏林，海德堡，纽约：施普林格1975·Zbl 0316.02047号 [2] Buchholz，W.：Eine Erweiterung der Schnittelimination方法。Habilitationsschrift，慕尼黑，1977年。 [3] Buchholz，W.，Pohlers，W.：超限迭代归纳定义形式理论的可证明良序。J.塞姆。《逻辑学》43，118-125（1978）·Zbl 0411.03046号 ·doi:10.2307/2271954 [4] Feferman，S.：广义归纳定义和一些分析子系统的超限迭代的形式理论。直觉主义和证明理论。阿姆斯特丹：北荷兰，1970年·Zbl 0218.02024号 [5] Feferman，S.：集合论的预测可约系统。集合论。二、。美国数学。Soc.，Providence，R.I.（1974年）·Zbl 0312.02051号 [6] 弗里德曼：为建设性分析奠定理论基础。《数学年鉴》105，1-28（1977）·Zbl 0353.02014号 ·doi:10.2307/1971023 [7] Jäger，G.：Beweistheorie von KPN。架构（architecture）。数学。Logik20，53–64（1980）·Zbl 0439.03043号 ·doi:10.1007/BF02011138 [8] Kreisel，G.：广义归纳定义。斯坦福大学关于分析基础的报告。斯坦福（vervielfältigt）（1963年）。 [9] Pohlers，W.：Eine kanonische解读von ID 1 c。穆斯特的沃特拉格（vervielfältigt）（1976年）。 [10] 波勒斯，W.：Beweistheorie der iterierten induktiven Definitionen。慕尼黑，1977年。 [11] Pohlers，W.：不确定不定系统的割消去法。第一部分ID1的顺序分析。架构（architecture）。数学。Logik21113-129（1981）·兹伯利04840.030 ·doi:10.1007/BF02011638 [12] Schütte，K.：证明理论。柏林，海德堡，纽约：施普林格1977·Zbl 0367.02012 [13] Tait，W.W.：经典逻辑中的正规可导性。收录：数学课堂讲稿，第72卷。柏林，海德堡，纽约：斯普林格1968·Zbl 0206.00502号 [14] Tait，W.W.：切割消除定理在经典分析的某些子系统中的应用。直觉主义和证明理论。阿姆斯特丹：北荷兰，1970年·Zbl 0231.02033号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。