|
Алгебра и логика, 1990, том 29, номер 5, страницы 597–612
(Mi al2123)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Некоторые свойства алгебраической сводимости конструктивизаций
С. Т. Федоряев
Аннотация:
Изучается понятие алгебраической сводимости конструктивизаций. Получены результаты о соотношениях между алгебраической сводимостью и $n$-алгебраической сводимостью конструктивизаций. Указаны все возможные соотношения между этими сводимостями. Доказано, что всякая конечная булева алгебра является структурой алгебраической сводимости подходящего уноида и частично упорядоченного множества. Показано также, что структура алгебраической сводимости любой модели конечной сигнатуры изоморфна структуре алгебраической сводимости подходящего частично упорядоченного множества.
Поступило: 11.12.1989
Образец цитирования:
С. Т. Федоряев, “Некоторые свойства алгебраической сводимости конструктивизаций”, Алгебра и логика, 29:5 (1990), 597–612
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2123 https://www.mathnet.ru/rus/al/v29/i5/p597
|
Статистика просмотров: |
Страница аннотации: | 60 | PDF полного текста: | 13 |
|