原始递归分类性光谱
Primitive recursive categoricity spectra
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分析而来,可能存在错误,请以论文正文为准。