The Provably Total Set-Recursive Functions of KPl

Aguilera, Juan Pablo; Fernández, Anton; Joosten, Joost J.

数学 > 逻辑

arXiv:2510.14399 (math)

[提交于 2025年10月16日 ]

标题： KPl的可证明全集递归函数

标题： The Provably Total Set-Recursive Functions of KPl

Authors:Juan Pablo Aguilera, Anton Fernández, Joost J. Joosten

摘要：使用相对化序数分析，我们给出了KPl及相关理论中可证明的全体从$\omega$递归的集合递归函数的证明论特征。

摘要： Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from-$\omega$ functions of KPl and related theories.

主题：	逻辑 (math.LO)
引用方式：	arXiv:2510.14399 [math.LO]
	(或者 arXiv:2510.14399v1 [math.LO] 对于此版本)
	https://doi.org/10.48550/arXiv.2510.14399

提交历史

来自： Anton Fernández [查看电子邮件]
[v1] 星期四， 2025 年 10 月 16 日 07:55:33 UTC (55 KB)

全文链接：

获取论文：

查看许可

当前浏览上下文:

math.LO

新的 | 最近的 | 2025-10

切换浏览方式为:

math

参考文献与引用

导出 BibTeX 引用

数学 > 逻辑

标题： KPl的可证明全集递归函数

标题： The Provably Total Set-Recursive Functions of KPl

提交历史

获取论文：

参考文献与引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

数学 > 逻辑

标题： KPl的可证明全集递归函数 显示英文标题

标题： The Provably Total Set-Recursive Functions of KPl

提交历史

获取论文：

参考文献与引用

BibTeX 格式的引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

标题： KPl的可证明全集递归函数