О точечно разложимых множествах

Показано, что при условии $a'<0''$ всякое рекурсивно перечислимое (р. п.) $A\in a$ имеет точечно разложимое дополнение. Если $A\le{}_TB$, $A$ и $\overline B$ р . п . коретрассируемые множества и $f(x)=f^B(x)$, то существует р. п. коретрассируемое $C$ такое, что $A\subset C$, $B\equiv{}_TC$, ($\forall n$) ($f(n)<c_n$), где $\overline C=\{c_0<c_1<c_2<\dots\}$. Библ. 4 назв.