Универсальная лахлановская полурешётка без наибольшего элемента

Исследуются некоторые верхние полурешётки $m$-степеней и нумераций конечных семейств. Доказывается, что полурешётка всех вычислимо перечислимых $m$-степеней, из которой удалили наибольший элемент, изоморфна полурешётке простых $m$-степеней, полурешётке гиперпростых $m$-степеней и полурешётке $\Sigma^0_2$-вычислимых нумераций конечного семейства $\Sigma^0_2$-множеств, которое содержит более одного элемента и не содержит сравнимых по включению элементов.