|
Труды института математики СО РАН, 1993, том 25, страницы 133–154
(Mi mt431)
|
|
|
|
Счетность ширины структур алгебраической сводимости для моделей некоторых классов
С. Т. Федоряев
Аннотация:
Получены описание ширины структур алгебраической сводимости, полное решение проблем спектра и соотношений алгоритмических размерностей, а также критерий алгоритмической устойчивости: для дистрибутивных решеток с относительными дополнениями и нулем в языке с идеалом Фреше, для рассеянных линейных порядков в языке с блок-отношением. Доказана счетность ширины структур алгебраической сводимости для широкого класса линейных порядков. Различены алгебраическая размерность и авторазмерность в классе линейных порядков.
Библиогр. 22.
Образец цитирования:
С. Т. Федоряев, “Счетность ширины структур алгебраической сводимости для моделей некоторых классов”, Тр. Ин-та математики СО РАН, 25 (1993), 133–154
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt431 https://www.mathnet.ru/rus/mt/v25/p133
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 43 |
|