|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Урсу В. И. Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий //
Том 41 (2000), Номер 3,
стр. 696711
Установлено одно соответствие между тернарными кольцами с единицей и 2-ступенно нильпотентными коммутативными лупами некоторого класса коммутативных луп с тремя фиксированными элементами. Указанное соответствие позволяет получить ряд многообразий, у которых рекурсивно неотделимы множества формул, тождественно истинных и конечно опровержимых. К ним относится, например, любое неассоциативное многообразие коммутативных луп Муфанг, любое немедиальное многообразие дистрибутивных квазигрупп и любое немедиальное многообразие $CH$-квазигрупп. Библиогр.~10.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|