Верхняя полурешетка $L(\gamma)$

Получен ряд достаточных условий неизоморфности верхних полурешеток вычислимых нумераций для конечных семейств рекурсивно-перечислимых множеств. Основой получения этих условий является теорема 1,описывающая тонкую структуру верхней полурешетки $L_{m}$ рекурсивно-перечислимых $m$-степеней, уточняющая и углубляющая ряд уже известных теорем о полурешетке $L_{m}$.