Open Research Index

Switching Categoricity Behavior with a Given Degree

David Gonzalez, Java Darleen Villano, José Jeremías Valenzuela Morales

arXivarxiv/2609.21047Sep 17, 2026math.LOscore 0

Given a noncomputable, computably enumerable set $D$, we construct a computable structure $G$ such that any two computable copies of $G$ are computably isomorphic while there are two $D$-computable copies of $G$ that are not $D$-computably isomorphic. In other words, $G$ is computably categorical, but not computably categorical relative to $D$. Conversely, we construct a computable structure that is not computably categorical, but is computably categorical relative to $D$. These results differ from those in the literature regarding computable categoricity and its relativiziations because the…

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