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

Abstract

В работе доказывается, что верхняя полурешетка р-степеней вычислимых нумераций семейства рекурсивно перечислимых множеств не является нижней и дистрибутивной полурешеткой. Показано, что если р-степень содержит однозначную нумерацию, то в этой полурешетке истинны следующие предложения: (b)(ab)).

This proved that the upper semilattice p-degrees all computable Numerations family of recursively enumerable sets (RPM) is not lower and distributive semilattice. We show that if the district level of a unique numbering, it semilattice true following suggestions: (b)(ab)).