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

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