关于度的可计算范畴性的扩展
逻辑
2025-05-22 v1
摘要
本文运用于 arXiv:2401.06641(2) 中的工具链,研究可计算范畴性相对于非可枚举度的行为。具体而言,我们构造了一个不可计算范畴性的结构,但相对于 1-通用度可计算范畴性。此外,我们证明,除有向图之外的其他结构类也存在可计算范例,其可计算范畴性行为可相对于不同度发生变化。
引用
@article{arxiv.2505.15706,
title = {Extensions of categoricity relative to a degree},
author = {Java Darleen Villano},
journal= {arXiv preprint arXiv:2505.15706},
year = {2025}
}
备注
20 pages