Open Research Index

Primitive recursive categoricity spectra of functional structures

Nikolay Bazhenov, Heer Tern Koh, Keng Meng Ng

arXivarxiv/2603.08010Mar 9, 2026math.LOscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2603.08010
curl -X POST /api/v1/records/arxiv/2603.08010/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.08010/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'