Definability via Kalimullin pairs in the structure of the enumeration degrees
Definability via Kalimullin pairs in the structure of the enumeration degrees
复制标题
通过枚举度结构中的 Kalimullin 对进行可定义性
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Soskova
中科院分区：
文献类型：
--
作者：
Hristo Ganchev;M. Soskova
我们给出了枚举跳转算子的另一种定义。证明了全枚举度类和低枚举度类在局部枚举度结构中是一阶可定义的。
We give an alternative definition of the enumeration jump operator. We prove that the class of total enumeration degrees and the class of low enumeration degrees are first order definable in the local structure of the enumeration degrees.