RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические труды // Архив

Тр. Ин-та математики СО РАН, 1993, том 25, страницы 133–154 (Mi mt431)

Счетность ширины структур алгебраической сводимости для моделей некоторых классов

С. Т. Федоряев


Аннотация: Получены описание ширины структур алгебраической сводимости, полное решение проблем спектра и соотношений алгоритмических размерностей, а также критерий алгоритмической устойчивости: для дистрибутивных решеток с относительными дополнениями и нулем в языке с идеалом Фреше, для рассеянных линейных порядков в языке с блок-отношением. Доказана счетность ширины структур алгебраической сводимости для широкого класса линейных порядков. Различены алгебраическая размерность и авторазмерность в классе линейных порядков.
Библиогр. 22.

УДК: 510.53:510.67



Реферативные базы данных:


© МИАН, 2024