谢尔盖·图帕伊洛 希尔伯特ε符号出现受限的算术理解规范化。 (英语) 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)