О степенях сводимостей по перечислимости

Доказывается, что элементарная теория верхней полурешетки всех $pc$-степеней $Th(L_{pc})$ отлична от $Th(L_c)$ и $Th(L_p)$. Таким образом, $Th(L_r)$ попарно различны для $r\in\{\ell, s, p, pc, c, m\}$. Построены $s$- и $pc$-степени, состоящие из одной $m$-степени.