Хисамиев А. Н.
О верхней полурешетке Ершова L_E

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

Khisamiev A. N.
On the Ershov upper semilattice L_E

We find some links between Σ-reducibility and T-reducibility. We prove that (1) if a quasirigid model is strongly Σ-definable in a hereditarily finite admissible set over a locally constructivizable B-system, then it is constructivizable; (2) every abelian p-group and every Ershov algebra is locally constructivizable; (3) if an antisymmetric connected model is Σ-definable in a hereditarily finite admissible set over a countable Ershov algebra then it is constructivizable.

Полный текст статьи / Full texts:

• PDF file (587 KB)
• PostScript file (1,1 MB)