{"id":"arxiv/2609.21047","url":"https://arxiv.org/abs/2609.21047","tags":["math.LO"],"score":0,"title":"Switching Categoricity Behavior with a Given Degree","domain":"math.LO","source":"arxiv","authors":["David Gonzalez","Java Darleen Villano","José Jeremías Valenzuela Morales"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}