|
Алгебра и логика, 1993, том 32, номер 2, страницы 203–221
(Mi al2227)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Бесконечные примальные алгебры и многообразия Поста
Д. М. Смирнов
Аннотация:
Доказано, что всякая бесконечная примальная алгебра не имеет конечного базиса для своих тождеств. В терминах представимости (или интерпретируемости) охарактеризован класс многообразий, имеющих полную $SC$-теорию. Это позволило построить многообразие $P$ с полной $SC$- теорией, в котором непредставимо никакое многообразие Поста $P_\alpha$ бесконечного порядка $\alpha$. Установлено существование наименьшего элемента $[X]$ в решетке $\mathbf{L}^{int}$ с полной $SC$-теорией $SC(X)$. При этом $[X]<[P_\omega]$ и $[X]\bigvee\{[V]\}$ по всем нетривиальным конечнобазируемым многообразиям $V$ с конечным числом операций. Описано строение свободных алгебр конечного ранга в многообразии Поста $P_\alpha$ при $\alpha\ge\omega$.
Поступило: 08.04.1992
Образец цитирования:
Д. М. Смирнов, “Бесконечные примальные алгебры и многообразия Поста”, Алгебра и логика, 32:2 (1993), 203–221
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2227 https://www.mathnet.ru/rus/al/v32/i2/p203
|
Статистика просмотров: |
Страница аннотации: | 32 | PDF полного текста: | 8 |
|