Journal of Logic and Computation. 2013;23(6):1145-1154. doi: 10.1093/logcom/ext046 Q40.72025

Definable relations in Turing degree structures

图灵度结构中的可定义关系

DOI: 10.1093/logcom/ext046

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！