О верхней полурешетке Ершова $\mathfrak{L}_E$

Найдены связи между $\Sigma$-сводимостью и $T$-сводимостью. Доказаны утверждения: 1) если квазижесткая модель сильно $\Sigma$-определима в наследственно конечном допустимом множестве над локально конструктивизируемой $B$-системой, то она конструктивизируема; 2) каждая абелева $p$-группа и алгебра Ершова локально конструктивизируемы; 3) если антисимметричная связанная модель $\Sigma$-определима в наследственно конечном допустимом множестве над счетной алгеброй Ершова, то она конструктивизируема.