К сравнению верхних полурешеток рекурсивно перечислимых $m$-степеней и табличных степеней

Доказано, что в верхней полурешетке рекурсивно перечислимых табличных степеней множество минимальных степеней имеет верхнюю грань, отличную от полной степени. Библ. 5 назв.