The jump hierarchy in the enumeration degrees

The jump hierarchy in the enumeration degrees
复制标题

枚举度中的跳转层次

DOI：
--
复制
发表时间：
2018
期刊：
De Computis
影响因子：
--
通讯作者：
M. Soskova
M. Soskova
中科院分区：
--
文献类型：
--
作者：
Hristo Ganchev;M. Soskova

文献摘要

被引文献

相似文献

我们证明了跳转层次的所有层次在枚举度的局部结构中都是一阶可定义的。
We show that all levels of the jump hierarchy are first order definable in the local structure of the enumeration degrees.