О предельности наибольшего элемента полурешетки Роджерса

В работе исследуются особенности алгебраического строения полурешеток Роджерса $\Sigma^0_n$-вычислимых нумераций при $n\geqslant2$. Доказано, что при выполнении некоторых достаточных условий наибольший элемент каждой такой полурешетки обладает свойством предельности (т.е. не может являться минимальным накрытием любого другого элемента).