СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Дегтев А. Н. О кратной позитивной сводимости // Том 34 (1993), Номер 2, стр. 74–76
Определяется верхняя полурешетка позитивных степеней
$n$-ок
рекурсивно перечислимых множеств
$\Cal L_p^n$
и доказывается, что при
$n\ne m$
их элементарные теории
$\Th(\Cal L_p^n)$
различны. Библиогр. 5.
© Сибирский Математический Журнал, 2003-2006