2025/05/21 by Villano, Java Darleen
#03C57 #03D25 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2505.15706
In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably categorical but is computably categorical relative to a 1-generic degree. Additionally, we show that other classes of structures besides directed graphs admit a computable example which can change its computable categorical behavior relative to different degrees.