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