𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Рекурсивная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий многообразий (статья)

✍ Scribed by Урсу В.И.


Book ID
127406022
Year
2000
Tongue
Russian
Weight
414 KB
Series
Сибирский математический журнал, т. 41 (2000), № 3, с. 696-711
Category
Library

No coin nor oath required. For personal study only.

✦ Synopsis


Установлено одно соответствие между тернарными кольцами с единицей и 2-ступенно нильпотентными коммутативными лупами некоторого класса коммутативных луп с тремя фиксированными элементами. Указанное соответствие позволяет получить ряд многообразий, у которых рекурсивно неотделимы множества формул, тождественно истинных и конечно опровержимых. К ним относится, например, любое неассоциативное многообразие коммутативных луп Муфанг, любое немедиальное многообразие дистрибутивных квазигрупп и любое немедиальное многообразие CH-квазигрупп.


📜 SIMILAR VOLUMES