Definability via Kalimullin pairs in the structure of the enumeration degrees
Hristo Ganchev, Mariya I. Soskova · Transactions of the American Mathematical Society · 2014
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 substructure of the enumeration degree, consisting of the elements bounded by 0 e ′ {\mathbf {0}_e}’ .