关于相对可计算范畴性度的注记
逻辑
2023-04-07 v3
摘要
我们研究可计算结构在何种度（degrees）下具有相对可计算范畴性，即在该结构的所有非可计算副本中可计算范畴化。与可计算范畴性度不同，我们可将可能的相对可计算范畴性度由预言机 0'' 界定。在刚性结构情形下，该界实为 0'。这些估计是精确的，特别地，我们可以构造一个可计算结构，其仅在 0'' 以上的度中相对可计算范畴化。
引用
@article{arxiv.2207.08316,
title = {Notes on degrees of relative computable categoricity},
author = {I. Sh. Kalimullin},
journal= {arXiv preprint arXiv:2207.08316},
year = {2023}
}