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