阿莱、东山英彦 跳跃层次理论的Epsilon替换方法。 （英语） Zbl 1022.03039号 架构（architecture）。数学。逻辑 41，第2期，123-153（2002）. 摘要：我们建立了绝对跳跃层次理论（H）{α_0}的ε替换方法，并给出了（H）-过程的两个终止证明：第一个证明是对G.薄荷[发表于：D.Prawitz等人（编辑），《科学的逻辑、方法论和哲学IX.会议录》，阿姆斯特丹：北荷兰，逻辑研究所，发现数学134，91-122（1994；Zbl 0835.03023号)]和，共G.薄荷，S.Tupailo和W.Buchholz公司[《数理逻辑建筑学》35，103-130（1996；Zbl 0848.03032号)]也就是说，基于特别设计的无限微积分的简化。第二个是对W.阿克曼[《数学年鉴》117162-194（1940；Zbl 0022.29202号)]. 每个终止证明都是基于超限归纳法，直到序数\（\ theta（\ alpha_0+\ omega）0\），这是最可能的。 引用于10文件 MSC公司： 05年3月 切割消除和正规形定理 35楼03号 二阶和高阶算术和片段 关键词：ε替换法；绝对跳转层次；切削消除；终止；超限诱导 引文：Zbl 0835.03023号；Zbl 0848.03032号；Zbl 0022.29202号 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}，拱门。数学。逻辑41，No.2，123--153（2002；Zbl 1022.03039） 全文： 内政部