PRIMITIVE RECURSIVE CATEGORICITY SPECTRA OF FUNCTIONAL STRUCTURES

2026

Жабық қол жеткізу Метадеректер (CSL-JSON)
DOI 10.1017/jsl.2026.10230
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.

Аңдатпа

Abstract 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 $\Delta _{1}^{0}$ normal upper Delta 1 Superscript 0 -categorical injection structures, and construct an example of a Δ 1 0 $\Delta _{1}^{0}$ normal upper Delta 1 Superscript 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.