|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Хисамиев А. Н. О верхней полурешетке Ершова $ {\frak L}_E$ //
Том 45 (2004), Номер 1,
стр. 211228
Найдены связи между $\Sigma$-сводимостью и $T$-сводимостью. Доказаны утверждения: 1)~если квазижесткая модель сильно $\Sigma$-определима в наследственно конечном допустимом множестве над локально конструктивизируемой $B$-системой, то она конструктивизируема; 2)~каждая абелева $p$-группа и алгебра Ершова локально конструктивизируемы; 3)~если антисимметричная связанная модель $\Sigma$-определима в наследственно конечном допустимом множестве над счетной алгеброй Ершова, то она конструктивизируема.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|