谢尔盖·图帕伊洛 希尔伯特ε符号出现受限的算术理解规范化。 （英语） Zbl 0799.03069号 Eesti Tead公司。阿卡德。卫生间。，法国。材料。 42，第4期，289-299（1993）. 小结：我们用算术理解和希尔伯特的ε公理（F[T]~F[varepsilon XFX]\）给出了二阶算法的规范化证明，它代表了一种选择原则。证明是通过超限归纳法进行的，最高可达\（\varepsilon_0\）。 MSC公司： 35楼03号 二阶和高阶算术和片段 05年3月 切割消除和正规形定理 03E25型 选择公理及其相关命题 关键词：选择公理;标准化证明;二阶算术;算术理解;希尔伯特ε公理;超限诱导 PDF格式BibTeX公司 XML格式引用 \textit{S.Tupailo}，伊什蒂·泰德。阿卡德。卫生间。，法国。材料42，编号4，289--299（1993；Zbl 0799.03069）