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

Ursu V. I.
Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties

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

Полный текст статьи / Full texts:

• PDF file (426 KB)
• PostScript file (885 KB)