Computable categoricity relative to a c.e. degree
Logic
2025-05-08 v2
Abstract
A computable graph is computably categorical relative to a degree if and only if for all -computable copies of , there is a -computable isomorphism . In this paper, we prove that for every computable partially ordered set and computable partition , there exists a computable computably categorical graph and an embedding of into the c.e. degrees where is computably categorical relative to all degrees in and not computably categorical relative to any degree in . This is a generalization of a 2021 result by Downey, Harrison-Trainor, and Melnikov.
Keywords
Cite
@article{arxiv.2401.06641,
title = {Computable categoricity relative to a c.e. degree},
author = {Java Darleen Villano},
journal= {arXiv preprint arXiv:2401.06641},
year = {2025}
}
Comments
21 pages