×
马丁·埃斯卡多；保罗·奥利瓦

条形递归和选择函数的乘积。 （英语） Zbl 1380.03064号

J.塞姆。日志。 80，第1期，1-28页（2015）.
摘要：我们展示了如何通过辩证解释和修正的可实现性，将选择函数的两个迭代乘积与系统结合起来，来解释完整的经典分析。我们还证明了一个迭代积在系统（T）上等价于Spector的bar递归，而另一个（T）等价于修改的bar递归。改进的条形递归本身被证明是直接从“倾斜”选择函数的不同二进制乘积的迭代中产生的。还考虑了相关二元乘积的迭代，但在所有情况下，都显示为（T）-等价于简单乘积的循环。

引用于4文件

MSC公司：

03年2月25日 相对一致性和解释
03D65年 高级类型和集合递归理论
03D50型 集合和结构的递归等价类型
03楼50 构造系统的元数学

关键词：

谱条递归；修正bar递归；选择函数；广义量词；T可定义性
PDF格式BibTeX公司 XML格式引用
\textit{M.Escardó}和\textit{P.Oliva}，J.Symb。日志。80，第1号，1--28（2015；Zbl 1380.03064）
全文： DOI程序 arXiv公司

参考文献：

[1] 数字对象标识码：10.1090/pspum/005/0154801·doi:10.1090/pspum/005/0154801
[2] 形式系统和递归函数（Proc.Eighth Logic Colloq.，Oxford）第176–（1965）页
[3] DOI:10.1002/铝201100106·Zbl 1251.03066号 ·doi:10.1002/malq.201100106
[4] 应用证明理论：证明解释及其在数学中的应用（2008）·Zbl 1158.03002号
[5] 项目、证明、流程-CiE 2010，LNCS，第6158卷，第141页–（2010）
[6] Compositio Mathematica 20第107页–（1968）
[7] 计算机科学中的逻辑方法4 pp 4–（2008）
[8] 内政部：10.1111/j.1746-836.1958。tb01464.x·Zbl 0090.01003号 ·doi:10.1111/j.1746-8361.1958.tb01464.x
[9] DOI:10.1098/rspa.2010.0471·兹比尔1228.91009 ·doi:10.1098/rspa.2010.0471
[10] DOI:10.1007/3-540-60178-3_80·doi:10.1007/3-540-60178-3_80
[11] 数字对象标识码：10.1017/S096012909990351·Zbl 1207.03072号 ·doi:10.1017/S096012909990351
[12] DOI:10.1017/S0960129506005093·Zbl 1101.03032号 ·doi:10.1017/S09601290506005093
[13] 项目、证明、流程-CiE 2010，LNCS，第6158卷，第151页–（2010）
[14] 逻辑课堂讲稿20第89页–（2005）
[15] 第19届IEEE计算机科学逻辑研讨会论文集第326页–（2004）
[16] 内政部：10.1016/S0049-237X（98）80020-7·doi:10.1016/S0049-237X（98）80020-7
[17] 直觉算术与分析的元数学研究344（1973）
[18] 内政部：10.1016/j.apal.2014.07.003·Zbl 1354.03058号 ·doi:10.1016/j.apal.2014.07.003
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。