谢尔盖·图帕伊洛 关于单调归纳定义的直觉强度。 （英语） Zbl 1070.03040号 J.塞姆。日志。 69，第3号，790-798（2004）. 摘要：我们在这里证明了显式数学的直觉主义理论（{mathbf T}_0\{CA}_0\). 在第一节中，我们给出了经典二阶（mu）-演算的双重否定翻译，如下所示Möllerfeld先生【广义归纳定义。微积分和理解。论文。穆斯特：穆斯特大学（2002；Zbl 1050.03040号)]拥有\（\Pi^1_2-\mathbf的力量{CA}_0\). 在第二节中，我们解释了理论中的直觉主义演算（mathbf{EETJ}！！upharpoonright+\，\，mathbf}UMID}_N\）。关于（mathbf T_0）中单调归纳定义的强度的问题是由S.Feferman在1982年提出的，假设是经典逻辑，则由M.Rathjen提出。 引用于5文件 MSC公司： 03楼50 构造系统的元数学 03日70 归纳可定义性 35楼03号 二阶和高阶算术和片段 03楼55 直觉数学 关键词：显式数学；双重否定翻译；二阶微积分；直觉\（\mu\）-演算；单调归纳定义 引文：Zbl 1050.03040号 PDF格式BibTeX公司 XML格式引用 \textit{S.Tupailo}，J.Symb。日志。69，第3号，790--798（2004；Zbl 1070.03040） 全文： 内政部 参考文献： [1] L.E.J.Brouwer百年纪念研讨会第77页–（1982） [2] 78年逻辑学术讨论会第159页–（1979） [3] 内政部：10.1007/BFb0062852·doi:10.1007/BFb0062852 [4] DOI:10.1016/S0168-0072（02）00065-9·Zbl 1022.03045号 ·doi:10.1016/S0168-0072（02）00065-9 [5] DOI:10.1016/S0168-0072（96）00040-1·Zbl 0877.03027号 ·doi:10.1016/S0168-0072（96）00040-1 [6] 内政部：10.1016/0168-0072（89）90019-5·兹伯利0665.03037 ·doi:10.1016/0168-0072（89）90019-5 [7] 显式数学与单调不动点原理。二、。型号64 pp 517–（1999）·Zbl 0930.03093号 [8] 单调不动点原理的显式数学63 pp 509–（1998） [9] 显式数学中的单调归纳定义61 pp 125–（1996） [10] 关于数学基础的思考：所罗门·费弗曼的论文15 pp 329–（2002）·Zbl 1001.00020号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。