Extensions of categoricity relative to a degree
Logic
2025-05-22 v1
Abstract
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 -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.
Cite
@article{arxiv.2505.15706,
title = {Extensions of categoricity relative to a degree},
author = {Java Darleen Villano},
journal= {arXiv preprint arXiv:2505.15706},
year = {2025}
}
Comments
20 pages