О верхних полурешетках е-степеней вычислимых нумераций

Abstract

Доказано, что верхняя полурешетка K рекурсивно перечислимых степеней неразрешимости изоморфна некоторой подрешетке ζ полурешетки e-степеней вычислимых нумераций семейства всех рекурсивно перечислимых множеств.

Proved, that the upper semilattes recursively enumerable degrees of insolubility K is isomorphic some sub lattes ζ e-degrees of the computable numeration's of all recursively innumerable sets.