选择函数次数与相对可计算范畴性
逻辑
2023-05-31 v1
摘要
我们研究对应于刚性可计算结构相对可计算范畴所在次数的选择函数次数。证明了对于某些结构，此类次数可表示为 c.e. 次数的上锥之并。此外，我们表明存在非 c.e. 上锥，其作为某些可计算结构相对可计算范畴所在的次数而实现。
引用
@article{arxiv.2305.18581,
title = {Degrees of selector functions and relative computable categoricity},
author = {I. Sh. Kalimullin},
journal= {arXiv preprint arXiv:2305.18581},
year = {2023}
}