arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2603.08010math.LO
收藏

函数结构的原始递归分类性光谱

Primitive recursive categoricity spectra of functional structures

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

Nikolay Bazhenov, Heer Tern Koh, Keng Meng Ng

AI总结:

研究了函数结构的原始递归分类性光谱,展示了非Δ₁⁰-分类结构中分类度与点状结构分类度的一致性,并构造了Δ₁⁰-分类结构的例子,其中两者存在差异。

摘要:

对于分类度的概念,我们研究了点状结构的类比概念。我们证明,对于非Δ₁⁰-分类的注射结构,这些概念是相同的,并构造了一个Δ₁⁰-分类的注射结构的例子,其中这些概念不同。此外,我们还证明,在每一个非零的c.e. Turing度中,存在一个PR度,该度对于点状同构性(定义为)是低的,也存在一个PR度,该度是点状分类度。

英文摘要:

For the notion of degree of categoricity, we study an analogous notion for punctual structures. We show that such notions coincide for non-$Δ_{1}^{0}$-categorical injection structures, and construct an example of a $Δ_{1}^{0}$-categorical injection structure for which these notions differ. Additionally, we also show that in every non-zero c.e.~Turing degree, there exists a PR-degree that is low for punctual isomorphism (to be defined), and also a PR-degree that is a degree of punctual categoricity.

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

↑