|
Сибирский математический журнал, 2000, том 41, номер 3, страницы 696–711
(Mi smj1561)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий
В. И. Урсуab a Кишиневский технический университет
b Institute of Mathematics "Simion Stoilow" of the Romanian Academy
Аннотация:
Установлено одно соответствие между тернарными кольцами с единицей и 2-ступенно нильпотентными коммутативными лупами некоторого класса коммутативных луп с тремя фиксированными элементами. Указанное соответствие позволяет получить ряд многообразий, у которых рекурсивно неотделимы множества формул, тождественно истинных и конечно опровержимых. К ним относится, например, любое неассоциативное многообразие коммутативных луп Муфанг, любое немедиальное многообразие
дистрибутивных квазигрупп и любое немедиальное многообразие $CH$-квазигрупп.
Библиогр. 10.
Статья поступила: 20.09.1998
Образец цитирования:
В. И. Урсу, “Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий”, Сиб. матем. журн., 41:3 (2000), 696–711; Siberian Math. J., 41:3 (2000), 578–591
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1561 https://www.mathnet.ru/rus/smj/v41/i3/p696
|
Статистика просмотров: |
Страница аннотации: | 265 | PDF полного текста: | 85 |
|