arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2603.08006math.LO
收藏

原始递归分类性光谱

Primitive recursive categoricity spectra

Novosibirsk State University(新西伯利亚国立大学);Nazarbayev University(纳扎尔巴耶夫大学);Nanyang Technological University(南洋理工大学)

Nikolay Bazhenov, Heer Tern Koh, Keng Meng Ng

AI总结:

本文研究了原始递归结构的分类性光谱,证明了不同自然结构在特定分类条件下的一致性。

摘要:

我们研究各种自然结构的原始递归类比可计算分类性光谱。我们证明这些概念在所有相对Δ₂⁰-分类等价结构和线性序、相对Δ₃⁰-分类布尔代数以及可计算树作为偏序结构时一致。

英文摘要:

We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively $Δ_{2}^{0}$-categorical equivalence structures and linear orders, relatively $Δ_{3}^{0}$-categorical Boolean algebras, and computably categorical tree as partial orders.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑