О кратной позитивной сводимости

Определяется верхняя полурешетка позитивных степеней $n$-ок екурсивно перечислимых множеств $\mathcal{L}_p^n$ и доказывается, что при $n\ne m$ их элементарные теории $\operatorname{Th}(\mathcal{L}_p^n)$ различны.
Библиогр. 5.